Hybrid system verification is not a sinecure: the electronic throttle control case study

Ansgar Fehnker*, Bruce H. Krogh

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Hybrid system verification is not a sinecure: the electronic throttle control case study'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science