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

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

Activity: Talk or presentation / LecturePresentation at a scientific conference / workshop

Period24 Oct 200028 Oct 2000
Event titleSAFECOMP 2000
Event typeOther
Degree of RecognitionInternational

Research Field

  • Not defined

Keywords

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