Model Based Integration of Safety Analysis and Development.

Miguel A. de Miguel Javier Fernández Briones Juan Pedro Silva Alejandro Alonso

Published in: ISORC (2006)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
software engineering
knowledge based systems
decision support