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 picture_as_pdf
  • 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
    • This list was generated on Sun May 31 02:45:23 2026 BST.