A Formal Framework for Modelling and Validating Medical Systems.

George Eleftherakis

Published in: MedInfo (2001)

Keyphrases

main contribution
learning systems
real time
information systems
expert systems
medical decision support
mathematical theory
formal methods
medical diagnosis
conceptual framework
medical imaging
theoretical framework
lightweight
distributed systems
machine learning
data mining
data sets