Publication
Number of items: 3.
2010
  • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. (2010) Susanne Kandl and Raimund Kirner
  • Time-Predictable Computing. (2010) Raimund Kirner and Peter Puschner
    • September 2007
  • Cross-platform verification framework for embedded systems. (2007) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner