about
Computerization of workflows, guidelines, and care pathways: a review of implementation challenges for process-oriented health information systemsModel-Driven Safety Analysis of Closed-Loop Medical Systems.Model checking for clinical guidelines: an agent-based approach.Endotracheal suctioning practices of nurses and respiratory therapists: How well do they align with clinical practice guidelines?
P2860
description
2006 nî lūn-bûn
@nan
2006 թուականի Մարտին հրատարակուած գիտական յօդուած
@hyw
2006 թվականի մարտին հրատարակված գիտական հոդված
@hy
2006年の論文
@ja
2006年論文
@yue
2006年論文
@zh-hant
2006年論文
@zh-hk
2006年論文
@zh-mo
2006年論文
@zh-tw
2006年论文
@wuu
name
Improving medical protocols by formal methods
@ast
Improving medical protocols by formal methods
@en
Improving medical protocols by formal methods
@nl
type
label
Improving medical protocols by formal methods
@ast
Improving medical protocols by formal methods
@en
Improving medical protocols by formal methods
@nl
prefLabel
Improving medical protocols by formal methods
@ast
Improving medical protocols by formal methods
@en
Improving medical protocols by formal methods
@nl
P2093
P50
P1476
Improving medical protocols by formal methods
@en
P2093
Andreas Seyfang
Christoph Duelli
Joyce van Croonenborg
Kitty Rosenbrand
Michel Balser
Peter Lucas
Silvia Miksch
Wolfgang Reif
P304
P356
10.1016/J.ARTMED.2005.10.006
P407
P577
2006-03-01T00:00:00Z