Login / Signup
Integrating Safety Analysis With Functional Modeling.
Omar el Ariss
Dianxiang Xu
W. Eric Wong
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2011)
Keyphrases
</>
safety analysis
real time
nuclear power plant
symbolic model checking