[IEEE 2008 International Symposium on Industrial Embedded Systems (SIES) - Le Grande Motte, France (2008.06.11-2008.06.13)] 2008 International Symposium on Industrial Embedded Systems - Challenges in embedded model checking — a simulator for the [mc]square model checker
Reinbacher, Thomas, Kramer, Michael, Horauer, Martin, Schlich, BastianYear:
2008
Language:
english
DOI:
10.1109/sies.2008.4577709
File:
PDF, 396 KB
english, 2008