Journal article
Verification of a Cruise Control System using Counterexample-Guided Search.
Publication Details
Authors: | Stursberg, O.; Fehnker, A.; Han, Z.; Krogh, B. |
Publication year: | 2004 |
Journal: | Control Engineering Practice |
Pages range : | 1291–1303 |
Volume number: | 12(10) |
ISSN: | 0967-0661 |
