by Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Reference:
Past Time LTL Runtime Verification for Microcontroller Binary Code (Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski), In 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011) (Gwen Salaün, Bernhard Schätz, eds.), Springer, volume 6959, 2011.
Bibtex Entry:
@inproceedings { RBH+11, volume = { 6959 }, author = { Reinbacher, Thomas and Brauer, J{"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan }, editor = { Sala{"u}n, Gwen and Sch{"a}tz, Bernhard }, title = { Past Time LTL Runtime Verification for Microcontroller Binary Code }, booktitle = { 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011) }, series = { Lecture Notes in Computer Science }, publisher = { Springer }, publishedas = { Druck Online }, isbn = { 978-3-642-24430-8 }, language = { eng }, pages = { 37--51 }, year = { 2011 }, timestamp = { 2011.05.09 }, i11key = { conference }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh11.pdf }, for_reporting_period = { 2011 }, }