On the Safety of Electronic Medical Records (English)
- New search for: Weber-Jahnke, Jens H.
- New search for: Mason-Blakley, Fieran
- New search for: Weber-Jahnke, Jens H.
- New search for: Mason-Blakley, Fieran
In:
Foundations of Health Informatics Engineering and Systems
6
;
177-194
;
2012
- Article/Chapter (Book) / Electronic Resource
-
Title:On the Safety of Electronic Medical Records
-
Contributors:Weber-Jahnke, Jens H. ( author ) / Mason-Blakley, Fieran ( author )
-
Published in:Lecture Notes in Computer Science ; 7151, 6 ; 177-194
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2012-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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 MethodsMéry, Dominique / Singh, Neeraj Kumar et al. | 2012
- 21
-
Form Follows FunctionDavies, Jim / Gibbons, Jeremy / Calinescu, Radu / Crichton, Charles / Harris, Steve / Tsui, Andrew et al. | 2012
- 39
-
Declarative Modelling and Safe Distribution of Healthcare WorkflowsHildebrandt, Thomas / Mukkamala, Raghava Rao / Slaats, Tijs et al. | 2012
- 57
-
Towards a Formal Integrated Model of Collaborative Healthcare WorkflowsBertolini, Cristiano / Schäf, Martin / Stolz, Volker et al. | 2012
- 75
-
NOVA Workflow: A Workflow Management Tool Targeting Health Services DeliveryMacCaull, Wendy / Rabbi, Fazle et al. | 2012
- 93
-
Experiences with a Compositional Model Checker in the Healthcare DomainHooman, Jozef / Huis in ’t Veld, Robert / Schuts, Mathijs et al. | 2012
- 111
-
Model Checking Workflow Monitors and Its Application to a Pain Management ProcessRabbi, Fazle / Mashiyat, Ahmed Shah / MacCaull, Wendy et al. | 2012
- 129
-
Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African CountriesMoodley, Deshendran / Pillay, Anban W. / Seebregts, Christopher J. et al. | 2012
- 140
-
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular AutomataMéry, Dominique / Singh, Neeraj Kumar et al. | 2012
- 160
-
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion PumpXu, Hao / Maibaum, Tom et al. | 2012
- 177
-
On the Safety of Electronic Medical RecordsWeber-Jahnke, Jens H. / Mason-Blakley, Fieran et al. | 2012
- 195
-
Challenges in eHealth: From Enabling to Enforcing PrivacyDong, Naipeng / Jonker, Hugo / Pang, Jun et al. | 2012
- 207
-
A Technique for Strengthening Weak Passwords in Electronic Medical Record SystemsKalyango, Samuel Tusubira / Maiga, Gilbert et al. | 2012