Model Checking of Software for Microcontrollers

by Bastian Schlich
Reference:
Model Checking of Software for Microcontrollers (Bastian Schlich), In ACM Transactions in Embedded Computing Systems (TECS), ACM Press, volume 9, 2010.
Bibtex Entry:
@string{acm="ACM Press"}
@article { Sch10,
	author = { Schlich, Bastian },
	journal = { ACM Transactions in Embedded Computing Systems (TECS) },
	title = { Model Checking of Software for Microcontrollers },
	year = { 2010 },
	volume = { 9 },
	number = { 4 },
	pages = { 1--27 },
	issn = { 1539-9087 },
	doi = { http://doi.acm.org/10.1145/1721695.1721702 },
	publisher = { ACM },
	i11key = { journal },
	for_reporting_period = { 2010 },
}

Bookmark the permalink.