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

    6 Citations (Scopus)
    63 Downloads (Pure)
    Original languageEnglish
    Title of host publicationThird International Conference on Quality Software, 2003. Proceedings
    PublisherIEEE Computer Society
    Pages280-289
    Number of pages10
    ISBN (Print)0-7695-2015-4
    DOIs
    Publication statusPublished - 2003
    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
    CountryUnited States
    CityDallas
    Period7/11/037/11/03

    Cite this

    Fehnker, A., Vaandrager, F. W., & Zhang, M. (2003). Modeling and Verifying a Lego Car Using Hybrid I/O Automata. In Third International Conference on Quality Software, 2003. Proceedings (pp. 280-289). IEEE Computer Society. https://doi.org/10.1109/QSIC.2003.1319112