Now showing items 1-1 of 1

    • Runtime verification of component-based embedded software 

      Sözer, Hasan; Hofmann, C.; Tekinerdoğan, Bedir; Akşit, M. (Springer, 2011-09)
      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 ...