Login / Signup
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.
André Luíz de Oliveira
Rosana T. V. Braga
Paulo César Masiero
Yiannis Papadopoulos
Ibrahim Habli
Tim Kelly
Published in:
SBESC (2014)
Keyphrases
</>
product line
safety analysis
software product line
software development
software architecture
software engineering
safety critical
product lines
control system
nuclear power plant
real time
reinforcement learning
knowledge based systems
support systems
symbolic model checking