Runtime Verification Infrastructure for Embedded Linux
Author: | Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher |
---|---|
Parent Title (English): | Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014 |
Document Type: | Conference Proceeding |
Language: | English |
Completed Date: | 2014/09/10 |
Responsibility for metadata: | Fachhochschule Technikum Wien |
Release Date: | 2018/07/20 |
GND Keyword: | Embedded Systems; Linux |
Publish on Website: | 1 |
Open Access: | 0 |
Reviewed: | 0 |
Invited: | 0 |
Keynote: | 0 |
Department: | Department Electronic Engineering |
Research Focus: | Embedded Systems & Cyber-Physical Systems |
Studienjahr: | 2014/2015 |
Projects: | Import |