Modelling safety properties of interactive medical systems.

Judy Bowen Steve Reeves

Published in: EICS (2013)

Keyphrases

case study
computer systems
building blocks
support systems
interactive systems
artificial intelligence
distributed systems
decision support
knowledge based systems
learning systems
retrieval systems
intelligent vehicles
health information systems