Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Better Avionics Software Reliability by Code Verification

Reviewed Paper In Proceedings
Author(s):Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer
In:embedded world Conference
Year:2009

BibTeX

@InProceedings{BaumannBeckertBlasumBormer2009,
  author =       {Christoph Baumann and Bernhard Beckert and
                  Holger Blasum and Thorsten Bormer},
  title =        {Better Avionics Software Reliability by 
                  Code Verification},
  booktitle =    {embedded world Conference},
  venue =        {Nuremberg, Germany},
  year =         {2009},
  month =        mar
}