Title of article
Verification of a cruise control system using counterexample-guided search
Author/Authors
Olaf Stursberg، نويسنده , , Ansgar Fehnker، نويسنده , , Zhi Han and Bruce H. Krogh، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
10
From page
1269
To page
1278
Keywords
Counterexample , model refinement , Hybrid systems , Reachability analysis , Verification , Automata , Abstraction
Journal title
Electric Power Systems Research
Serial Year
2004
Journal title
Electric Power Systems Research
Record number
373297
Link To Document