*Result*: Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
*Title*:
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems / Ibtissem Ben Makhlouf ; Stefan Kowalewski, Goran Frehse
*Author/editor-in-chief*:
*Publication*:
Aachen : Universitätsbibliothek der RWTH Aachen, 2016
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*series_multipart*:
Aachener Informatik-Berichte ; 2016-02
*Dissertation note*:
Dissertation, RWTH Aachen, 2016
*Notes*:
In: Aachen : Shaker Verlag, 2016
*Subject Added Keywords*: