TY  - RPRT
TI  - A formal framework for modelling and validating medical systems.
AU  - G Eleftherakis
PY  - 2001
UR  - https://pubmed.ncbi.nlm.nih.gov/11604697/
ID  - 11604697
ER  -