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)
    35 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
    Fehnker, Ansgar ; Vaandrager, Frits W. ; Zhang, Miaomiao. / Modeling and Verifying a Lego Car Using Hybrid I/O Automata. Third International Conference on Quality Software, 2003. Proceedings. IEEE Computer Society, 2003. pp. 280-289
    @inproceedings{df6b6124d4ac454fb37206652d6f1680,
    title = "Modeling and Verifying a Lego Car Using Hybrid I/O Automata",
    author = "Ansgar Fehnker and Vaandrager, {Frits W.} and Miaomiao Zhang",
    year = "2003",
    doi = "10.1109/QSIC.2003.1319112",
    language = "English",
    isbn = "0-7695-2015-4",
    pages = "280--289",
    booktitle = "Third International Conference on Quality Software, 2003. Proceedings",
    publisher = "IEEE Computer Society",
    address = "United States",

    }

    Fehnker, A, Vaandrager, FW & Zhang, M 2003, Modeling and Verifying a Lego Car Using Hybrid I/O Automata. in Third International Conference on Quality Software, 2003. Proceedings. IEEE Computer Society, pp. 280-289, 3rd International Conference on Quality Software 2003, Dallas, United States, 7/11/03. https://doi.org/10.1109/QSIC.2003.1319112

    Modeling and Verifying a Lego Car Using Hybrid I/O Automata. / Fehnker, Ansgar; Vaandrager, Frits W.; Zhang, Miaomiao.

    Third International Conference on Quality Software, 2003. Proceedings. IEEE Computer Society, 2003. p. 280-289.

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

    TY - GEN

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

    AU - Fehnker, Ansgar

    AU - Vaandrager, Frits W.

    AU - Zhang, Miaomiao

    PY - 2003

    Y1 - 2003

    U2 - 10.1109/QSIC.2003.1319112

    DO - 10.1109/QSIC.2003.1319112

    M3 - Conference contribution

    SN - 0-7695-2015-4

    SP - 280

    EP - 289

    BT - Third International Conference on Quality Software, 2003. Proceedings

    PB - IEEE Computer Society

    ER -

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