Sign in
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