On the Safety of Electronic Medical Records (Englisch)
- Neue Suche nach: Weber-Jahnke, J.H.
- Neue Suche nach: Mason-Blakley, F.
- Neue Suche nach: Weber-Jahnke, J.H.
- Neue Suche nach: Mason-Blakley, F.
- Neue Suche nach: Liu, Zhiming
- Neue Suche nach: Wassyng, Alan
In:
Foundations of health informatics engineering and systems
7151
;
177-194
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:On the Safety of Electronic Medical Records
-
Beteiligte:
-
Kongress:International symposium; 1st, Foundations of health informatics engineering and systems ; 2011 ; Johannesburg, South Africa
-
Erschienen in:Foundations of health informatics engineering and systems , 7151 ; 177-194LECTURE NOTES IN COMPUTER SCIENCE , 7151 ; 177-194
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:18 pages
-
Anmerkungen:Based on those presented at the conference. Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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