Arbeitskonferenz Softwarequalität und Test (ASQT 2006)

  • Gordon Fraser (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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