Treffer: Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems

Veröffent­licht:
Oldenburg : BIS der Universität Oldenburg, 2014
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Oldenburg, Universität Oldenburg, Diss., 2014