FHIES 2011: Johannesburg, South Africa

Protocols for Diagnosis and Clinical Trials

Modelling Workflows

Model Checking Workflows and Control Systems

Interoperability

Formal Modelling of Organs and Devices

Safety, Security, and Privacy of Medical Records

a service of Schloss Dagstuhl - Leibniz Center for Informatics