Deviation based Safety Analysis and Justification of Clinical Services.

Georgios Despotou Richard W. Jones Andrew Rae Sean White Mark Ryan Tim Kelly

Published in: ICIMTH (2014)

Keyphrases

safety analysis
nuclear power plant
safety critical
web services
symbolic model checking
fault model
control system
ubiquitous computing
context aware
clinical practice
reliability analysis
domain independent
fault tolerant
clinical data