Motivating Model Checking for Embedded Systems Software

by Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich
Reference:
Motivating Model Checking for Embedded Systems Software (Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich), In Mechatronic and Embedded Systems and Applications (MESA08), Beijing, China, IEEE Computer Society Press, 2008.
Bibtex Entry:
@inproceedings { RKHS08b,
	author = { Reinbacher, Thomas and Kramer, Michael and Horauer, Martin
		and Schlich,  Bastian },
	booktitle = { Mechatronic and Embedded Systems and Applications (MESA08),
		Beijing,  China },
	doi = { 10.1109/MESA.2008.4735653 },
	isbn = { 978-1-4244-2367-5 },
	pages = { 546--551 },
	publisher = { IEEE Computer Society Press },
	title = { Motivating Model Checking for Embedded Systems Software },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.