|
|
|
|
LEADER |
01925nmm a2200289 u 4500 |
001 |
EB000390028 |
003 |
EBX01000000000000000243081 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9783642323553
|
100 |
1 |
|
|a Liu, Zhiming
|e [editor]
|
245 |
0 |
0 |
|a Foundations of Health Informatics Engineering and Systems
|h Elektronische Ressource
|b First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
|c edited by Zhiming Liu, Alan Wassyng
|
250 |
|
|
|a 1st ed. 2012
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2012, 2012
|
300 |
|
|
|a X, 225 p. 58 illus
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer Science
|
700 |
1 |
|
|a Wassyng, Alan
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Programming and Software Engineering
|
028 |
5 |
0 |
|a 10.1007/978-3-642-32355-3
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-32355-3?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004
|
520 |
|
|
|a 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
|