TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Past Time LTL Runtime Verification for Microcontroller Binary Code
T2  - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 37
EP  - 51
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - CHAP
A1  - Wenzl, Matthias
A1  - Kluka, Daniel
T1  - Adding Channel Security to a Fingerprint Verification Chain
T2  - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
KW  - Security
KW  - Verification
KW  - Fingerprints
Y1  - 2018
ER  -