Comparing safety analysis techniques.

Jan L. Rouvroye Elly G. van den Bliek

Published in: Reliab. Eng. Syst. Saf. (2002)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
real time
software engineering
model checking