Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Protocols for diagnosis and clinical trials.- modeling workflows.- model checking workflows and control systems.- interoperability.- formal modeling of organs and devices.- safety, security, and privacy of medical records.