An Extended Hierarchical Safety Analysis for Software-Intensive System.

Daehui Jeong Gihwon Kwon

Published in: CSA/CUTE (2017)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
fault model
symbolic model checking
artificial intelligence
model checking