![](/img/cover-not-exists.png)
[IEEE 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications (MESA) - Beijing, China (2008.10.12-2008.10.15)] 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications - Motivating Model Checking of Embedded Systems Software
Reinbacher, Thomas, Kramer, Michael, Horauer, Martin, Schlich, BastianYear:
2008
Language:
english
DOI:
10.1109/mesa.2008.4735653
File:
PDF, 5.63 MB
english, 2008