Sign in

Creating safety assurance cases for rebreather systems.

Alma L. Juarez DominguezBruce G. PartridgeJeffrey J. Joyce
Published in: ASSURE@ICSE (2013)
Keyphrases
  • distributed systems
  • building blocks
  • decision making
  • complex systems
  • formal methods
  • real time
  • web services
  • expert systems
  • computing systems
  • safety critical