Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Better Avionics Software Reliability by Code Verification

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Christoph Baumann, Bernhard Beckert, Holger Blasum und Thorsten Bormer
In:embedded world Conference
Jahr: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
}