Creating safety assurance cases for rebreather systems.

Alma L. Juarez Dominguez Bruce G. Partridge Jeffrey 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