Computerised controllers for safety critical medical applications.

Wolfgang A. Halang Marek Sniezek Matjaz Colnaric

Published in: Int. J. Medical Informatics (1998)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
agent architecture
control system
nuclear power plant
embedded systems
support systems
regulatory requirements
medical data
adaptive systems
real time
reinforcement learning
low cost
data model
clinical practice
cooperative
databases