Treffer: Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Titel:
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems / Ibtissem Ben Makhlouf ; Stefan Kowalewski, Goran Frehse
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2016
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2016-02
Hochschulschrift:
Dissertation, RWTH Aachen, 2016
Anmerkungen:
In: Aachen : Shaker Verlag, 2016
Schlagworte: