[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 186 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 507 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 910 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 465 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 6447 || Comparison of Model Checking Tools for Information Systems

✍ Dong, Jin Song; Zhu, Huibiao 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 280 KB

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

✦ Synopsis