A Formal Methods Case Study: using "Light-weight" VDM for the Development of a Security system Modules.

  • Georg Droschl (Autor)
  • Walter Kuhn (Autor)
  • Gerald Sonneck (Autor)
  • Michael Thuswald (Autor)
  • Erwin Schoitsch (Autor)

Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum24 Okt. 2000 → 28 Okt. 2000
EreignistitelSAFECOMP 2000
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Nicht definiert

Schlagwörter

  • A Formal Methods Case Study: using "Light-weight" VDM for the Development of a Security system Modules.