TY  - CONF
A1  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Runtime Verification Infrastructure for Embedded Linux
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
KW  - Linux
Y1  - 
UR  - http://opus.technikum-wien.at/frontdoor/index/index/docId/488
ER  -