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

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

Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum25 Sept. 200128 Sept. 2001
EreignistitelThe 20th International Conference on Computer Safety, Reliability and Security
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Nicht definiert