Sign in

Application of Software Safety Analysis Using Event-B.

Hong ZhangLili Xu
Published in: SERE (Companion) (2013)
Keyphrases
  • safety analysis
  • safety critical
  • low cost
  • decision support
  • software systems
  • software architecture
  • nuclear power plant
  • control system