Login / Signup
Model-Based Integration of Safety Analysis and Reliable Software Development.
Miguel A. de Miguel
Bernard Pauly
Thierry Person
Javier Fernández Briones
Published in:
WORDS (2005)
Keyphrases
</>
software development
safety analysis
nuclear power plant
safety critical
symbolic model checking
control system
fault model
software systems
software engineering
case study
model checking
development process
fault tolerant