Arbeitskonferenz Softwarequalität und Test (ASQT 2006)

Gordon Fraser (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automatische Testfallgenerierung und Analyse für sicherheitsrelevante Systeme mit Hilfe von Model-Checkern
Period15 Sep 2006
Held atArbeitskonferenz Softwarequalität und Test (ASQT 2006)
Event typeConference