On the Safety of Electronic Medical Records (English)
- New search for: Weber-Jahnke, J.H.
- New search for: Mason-Blakley, F.
- New search for: Weber-Jahnke, J.H.
- New search for: Mason-Blakley, F.
- New search for: Liu, Zhiming
- New search for: Wassyng, Alan
In:
Foundations of health informatics engineering and systems
7151
;
177-194
;
2012
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:On the Safety of Electronic Medical Records
-
Contributors:
-
Conference:International symposium; 1st, Foundations of health informatics engineering and systems ; 2011 ; Johannesburg, South Africa
-
Published in:Foundations of health informatics engineering and systems , 7151 ; 177-194LECTURE NOTES IN COMPUTER SCIENCE , 7151 ; 177-194
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2012-01-01
-
Size:18 pages
-
Remarks:Based on those presented at the conference. Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Medical Protocol Diagnosis Using Formal MethodsMery, D. / Singh, N.K. et al. | 2012
- 21
-
Form Follows Function: Model-Driven Engineering for Clinical TrialsDavies, J. / Gibbons, J. / Calinescu, R. / Crichton, C. / Harris, S. / Tsui, A. et al. | 2012
- 39
-
Declarative Modelling and Safe Distribution of Healthcare WorkflowsHidebrandt, T. / Mukkamala, R.R. / Slaats, T. et al. | 2012
- 57
-
Towards a Formal Integrated Model of Collaborative Healthcare WorkflowsBertolini, C. / Schaf, M. / Stolz, V. et al. | 2012
- 75
-
NOVA Workflow: A Workflow Management Tool Targeting Health Services DeliveryMacCaull, W. / Rabbi, F. et al. | 2012
- 93
-
Experiences with a Compositional Model Checker in the Healthcare DomainHooman, J. / Veld, R.H.i.'t. / Schuts, M. et al. | 2012
- 111
-
Model Checking Workflow Monitors and Its Application to a Pain Management ProcessRabbi, F. / Mashiyat, A.S. / MacCaull, W. et al. | 2012
- 129
-
Position Paper: Researching and Developing Open Archtiectures for National Health Information Systems in Developing African CountriesMoodley, D. / Pillay, A.W. / Seebregts, C.J. et al. | 2012
- 140
-
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular AutomataMery, D. / Singh, N.K. et al. | 2012
- 160
-
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion PumpXu, H. / Maibaum, T. et al. | 2012
- 177
-
On the Safety of Electronic Medical RecordsWeber-Jahnke, J.H. / Mason-Blakley, F. et al. | 2012
- 195
-
Challenges in eHealth: From Enabling to Enforcing PrivacyDong, N. / Jonker, H. / Pang, J. et al. | 2012
- 207
-
A Technique for Strengthening Weak Passwords in Electronic Medical Record SystemsKalyango, S.T. / Maiga, G. et al. | 2012