Aufsatz in einer Fachzeitschrift
Verification of a Cruise Control System using Counterexample-Guided Search.
Details zur Publikation
Autor(inn)en: | Stursberg, O.; Fehnker, A.; Han, Z.; Krogh, B. |
Publikationsjahr: | 2004 |
Zeitschrift: | Control Engineering Practice |
Seitenbereich: | 1291–1303 |
Jahrgang/Band : | 12(10) |
ISSN: | 0967-0661 |
