Strategien zur Testfallgenerierung aus SysML Modellen.

Sebastian Schlecht Oliver Alt

Published in: Software Engineering (Workshops) (2007)

Keyphrases

formal methods
safety analysis
modeling language
facial action units
nuclear power plant
artificial intelligence
formal specification
database
databases
control system
model checking
symbolic model checking
case study
low level
human computer interaction
safety critical