On groupthink in safety analysis: an industrial case study.

Yang Wang Stefan Wagner

Published in: ICSE (SEIP) (2018)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
fuzzy logic
cooperative
formal methods
real time
condition monitoring
reliability analysis