[IEEE Third International Conference on Quality Software, 2003. Proceedings. - Dallas, TX, USA (2003.11.7-2003.11.7)] Third International Conference on Quality Software, 2003. Proceedings. - Modeling and verifying a Lego car using hybrid I/O automata
Fehnker, A., Vaandrager, F., Miaomiao Zhang,Year:
2003
Language:
english
Pages:
10
DOI:
10.1109/qsic.2003.1319112
File:
PDF, 375 KB
english, 2003