Arbeitskonferenz Softwarequalität und Test (ASQT 2006)

  • Gordon Fraser (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Automatische Testfallgenerierung und Analyse für sicherheitsrelevante Systeme mit Hilfe von Model-Checkern
Zeitraum15 Sept. 2006
EreignistitelArbeitskonferenz Softwarequalität und Test (ASQT 2006)
VeranstaltungstypKonferenz