Login / Signup

Integrating Safety Analysis With Functional Modeling.

Omar el ArissDianxiang XuW. Eric Wong
Published in: IEEE Trans. Syst. Man Cybern. Part A (2011)
Keyphrases
  • safety analysis
  • real time
  • nuclear power plant
  • symbolic model checking