Modeling and Verifying a Lego Car Using Hybrid I/O Automata

Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
182 Downloads (Pure)
Original languageEnglish
Title of host publicationThird International Conference on Quality Software, 2003. Proceedings
PublisherIEEE
Pages280-289
Number of pages10
ISBN (Print)0-7695-2015-4
DOIs
Publication statusPublished - 2003
Externally publishedYes
Event3rd International Conference on Quality Software 2003 - Dallas, United States
Duration: 7 Nov 20037 Nov 2003
Conference number: 3

Conference

Conference3rd International Conference on Quality Software 2003
Country/TerritoryUnited States
CityDallas
Period7/11/037/11/03

Cite this