A Compositional Approach to the Verification of Hybrid Systems

Lacramioara Astefanoaei, Saddek Bensalem und Marius Bozga

Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 88–103

2016 · DOI: 10.1007/978-3-319-30734-3_8

Url: http://dx.doi.org/10.1007/978-3-319-30734-3_8

URL DOI BibTeX Zurück