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 ...