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

by Bastian Schlich, Jann Löll, Stefan Kowalewski
Reference:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code (Bastian Schlich, Jann Löll, Stefan Kowalewski), In Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany, Springer, volume 4916, 2008.
Bibtex Entry:
@inproceedings { SLK08,
	author = { Schlich, Bastian and L{"o}ll, Jann and Kowalewski, Stefan },
	booktitle = { Formal Methods for Industrial Critical Systems (FMICS 2007),
		Berlin,  Germany },
	doi = { 10.1007/978-3-540-79707-4_4 },
	isbn = { 978-3-540-79706-7 },
	pages = { 21--37 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Application of Static Analyses for State Space Reduction to
		Microcontroller  Assembly Code },
	volume = { 4916 },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.