Arbeitskonferenz Softwarequalität und Test (ASQT 2006)

Gordon Fraser (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

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