Runtime verification of microcontroller binary code
Author: | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
---|---|
Parent Title (English): | Elsevier Science of Computer Programming, Volume 80, Part A |
Document Type: | Article |
Language: | English |
Completed Date: | 2014/02/01 |
Date of first Publication: | 2019/02/06 |
Responsibility for metadata: | Fachhochschule Technikum Wien |
Release Date: | 2019/02/06 |
GND Keyword: | Binary Code; Embedded Systems; Microcontroller |
Issue: | Elsevier Science of Computer Programming, Volume 80, Part A |
Pagenumber: | pp. 109-129 |
Publish on Website: | 1 |
Open Access: | 0 |
Reviewed: | 0 |
Department: | Department Electronic Engineering |
Research Focus: | Embedded Systems & Cyber-Physical Systems |
Studienjahr: | 2013/2014 |
Projects: | Import |