Browsing by Author "Hofmann, C"
Now showing items 1-1 of 1
-
Runtime verification of component-based embedded software
Sözer, Hasan; Hofmann, C; Tekinerdoğan, B.; Akşit, M. (Springer, 2011)To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ...
Share this page