Application of Static Analyses for State Space Reduction to Microcontroller Binary Code

by Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Reference:
Application of Static Analyses for State Space Reduction to Microcontroller Binary Code (Bastian Schlich, Jörg Brauer, Stefan Kowalewski), In Sci. Comput. Program., volume 76, 2011.
Bibtex Entry:
@article { SBK11,
	author = { Schlich, Bastian and Brauer, J{"o}rg and Kowalewski, Stefan },
	title = { Application of Static Analyses for State Space Reduction to
		Microcontroller Binary Code },
	journal = { Sci. Comput. Program. },
	year = { 2011 },
	volume = { 76 },
	number = { 2 },
	pages = { 100--118 },
	issn = { 0167-6423 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:sbk10.pdf },
	i11key = { journal },
	timestamp = { 2010.12.06 },
	i11projectkey = { Arcade },
	for_reporting_period = { 2011 },
}

Bookmark the permalink.