Treffer: Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
Titel:
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems / Andreas Eggers. Betreuer: Martin Fränzle ; Nacim Ramdani
Verantwortlich:
Veröffentlicht:
Oldenburg : BIS der Universität Oldenburg, 2014
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Oldenburg, Universität Oldenburg, Diss., 2014