Modeling and Verifying a Lego Car Using Hybrid I/O Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang. Modeling and Verifying a Lego Car Using Hybrid I/O Automata. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 280-289, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Ansgar Fehnker' in GoogleThis author has not been identified. It may be one of the following persons:

Frits W. Vaandrager

Look up 'Frits W. Vaandrager' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in Google

runs on WebDSL