Skip to main navigation Skip to search Skip to main content

A Classification Scheme for Software Verification Tools with regard to RTCA-DO-178B

  • Günther Zoffmann (Author)
  • Christian Reumann (Author)
  • Gerald Sonneck (Author)

Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

Period25 Sept 2001 → 28 Sept 2001
Event titleThe 20th International Conference on Computer Safety, Reliability and Security
Event typeOther
Degree of RecognitionInternational

Research Field

  • Not defined