Sign in
Application of Software Safety Analysis Using Event-B.
Hong Zhang
Lili Xu
Published in:
SERE (Companion) (2013)
Keyphrases
</>
safety analysis
safety critical
low cost
decision support
software systems
software architecture
nuclear power plant
control system