Safety Analysis and Performance Evaluation of Time WF-nets.

Wei Song Wan-Chun Dou Jinjun Chen Shaokun Fan

Published in: APWeb/WAIM Workshops (2007)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
model checking
reliability analysis
dynamic programming
formal methods
fuzzy logic