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 proceeding › Conference contribution › Academic › peer-review

8 Citations (Scopus)

182 Downloads (Pure)

Original language	English
Title of host publication	Third International Conference on Quality Software, 2003. Proceedings
Publisher	IEEE
Pages	280-289
Number of pages	10
ISBN (Print)	0-7695-2015-4
DOIs	https://doi.org/10.1109/QSIC.2003.1319112
Publication status	Published - 2003
Externally published	Yes
Event	3rd International Conference on Quality Software 2003 - Dallas, United States Duration: 7 Nov 2003 → 7 Nov 2003 Conference number: 3

Conference	3rd International Conference on Quality Software 2003
Country/Territory	United States
City	Dallas
Period	7/11/03 → 7/11/03

Access to Document

@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",

address = "United States",

note = "3rd International Conference on Quality Software 2003 ; Conference date: 07-11-2003 Through 07-11-2003",

}

TY - GEN

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

AU - Fehnker, Ansgar

AU - Vaandrager, Frits W.

AU - Zhang, Miaomiao

N1 - Conference code: 3

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

T2 - 3rd International Conference on Quality Software 2003

Y2 - 7 November 2003 through 7 November 2003

ER -