Abstract is missing.
- Medical Protocol Diagnosis Using Formal MethodsDominique Méry, Neeraj Kumar Singh. 1-20 [doi]
- Form Follows Function - Model-Driven Engineering for Clinical TrialsJim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui. 21-38 [doi]
- Declarative Modelling and Safe Distribution of Healthcare WorkflowsThomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. 39-56 [doi]
- Towards a Formal Integrated Model of Collaborative Healthcare WorkflowsCristiano Bertolini, Martin Schäf, Volker Stolz. 57-74 [doi]
- NOVA Workflow: A Workflow Management Tool Targeting Health Services DeliveryWendy MacCaull, Fazle Rabbi. 75-92 [doi]
- Experiences with a Compositional Model Checker in the Healthcare DomainJozef Hooman, Robert Huis in 't Veld, Mathijs Schuts. 93-110 [doi]
- Model Checking Workflow Monitors and Its Application to a Pain Management ProcessFazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull. 111-128 [doi]
- Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African CountriesDeshendran Moodley, Anban W. Pillay, Christopher J. Seebregts. 129-139 [doi]
- Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular AutomataDominique Méry, Neeraj Kumar Singh. 140-159 [doi]
- An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion PumpHao Xu, Tom Maibaum. 160-176 [doi]
- On the Safety of Electronic Medical RecordsJens H. Weber-Jahnke, Fieran Mason-Blakley. 177-194 [doi]
- Challenges in eHealth: From Enabling to Enforcing PrivacyNaipeng Dong, Hugo Jonker, Jun Pang. 195-206 [doi]
- A Technique for Strengthening Weak Passwords in Electronic Medical Record SystemsSamuel Tusubira Kalyango, Gilbert Maiga. 207-224 [doi]