- UHRA Home
- Browsing by Author
Browsing by Author "Obermaisser, R."
Now showing items 1-1 of 1
-
Cross-platform verification framework for embedded systems
Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard; Puschner, Peter (Springer Nature, 2007-09)Many innovations in the automotive sector involve complex electronics and embedded software systems. Testing techniques are one of the key methodologies for detecting faults in such embedded systems.In this paper, a novel ...