Aufsatz in einer Fachzeitschrift

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.



Details zur Publikation
Autor(inn)en:
Stursberg, O.; Fehnker, A.; Han, Z.; Krogh, B.

Publikationsjahr:
2003
Zeitschrift:
IFAC Conf. on Analysis and Design of Hybrid Systems
Seitenbereich:
289–295




Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2023-03-02 um 09:30