by Jörg Brauer, Thomas Noll, Bastian Schlich
Reference:
Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software (Jörg Brauer, Thomas Noll, Bastian Schlich), In Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010), ACM Press, 2010.
Bibtex Entry:
@string{acm="ACM Press"}
@inproceedings { BNS10,
author = { Brauer, J{"o}rg and Noll, Thomas and Schlich, Bastian },
title = { Interval Analysis of Microcontroller Code using Abstract
Interpretation of Hardware and Software },
booktitle = { Proceedings of the 13th International Workshop on Software
and Compilers for Embedded Systems (SCOPES 2010) },
year = { 2010 },
publisher = { ACM },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:BNS10.pdf },
timestamp = { 2010.04.01 },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2010 },
}