SafeSysE: A Safety Analysis Integration in Systems Engineering Approach.

Faïda Mhenni Nga Nguyen Jean-Yves Choley

Published in: IEEE Syst. J. (2018)

Keyphrases

systems engineering
safety analysis
software engineering
systems development
nuclear power plant
knowledge extraction
control system
requirements engineering
industrial applications
safety critical
symbolic model checking
relational databases
artificial intelligence
fault model
information systems