Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers /
Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / [electronic resource] :
edited by Zhiming Liu, Alan Wassyng.
- 1st ed. 2012.
- X, 225 p. 58 illus. online resource.
- Programming and Software Engineering, 7151 2945-9168 ; .
- Programming and Software Engineering, 7151 .
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.
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 selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.
9783642323553
10.1007/978-3-642-32355-3 doi
Computer science.
Computer Science.
QA75.5-76.95
004
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.
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 selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.
9783642323553
10.1007/978-3-642-32355-3 doi
Computer science.
Computer Science.
QA75.5-76.95
004