Safety analysis of software product lines using state-based modeling.

Jing Liu Josh Dehlinger Robyn R. Lutz

Published in: J. Syst. Softw. (2007)

Keyphrases

safety analysis
software product line
learning methodologies
nuclear power plant
symbolic model checking
real time
multimedia
safety critical