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 |