Adopting model checking techniques for clinical guidelines verification.
about
Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain.Representation of Clinical Nursing Protocols Using GEM II & GEM Cutter.Computerization of workflows, guidelines, and care pathways: a review of implementation challenges for process-oriented health information systemsA comparison between clinical decisions made about lung cancer patients and those inherent in the corresponding Scottish Intercollegiate Guidelines Network (SIGN) guideline.Exceptions handling within GLARE clinical guideline framework.Business process verification with constraint temporal answer set programmingA Constraint-Based Approach for the Conciliation of Clinical Guidelines
P2860
Q31067455-23C5EF32-C464-43A9-AAD7-4F3B572C9F2DQ34584333-F8F23655-FAB7-4A0F-BAC5-E7A8AFB1D24CQ35403807-F65AAB1E-AC03-4E6C-B2F6-8B0A1B1C0199Q39795668-3ED05A3C-389D-4980-AD4D-49607E1C78EAQ42585680-D856A48F-25D1-4DDD-953E-B96523002680Q58207597-F38A1F97-D9E3-4DB1-80F6-892AF7D7EAFCQ58211835-0D1638D8-3DD6-4091-A984-C064B487229C
P2860
Adopting model checking techniques for clinical guidelines verification.
description
2009 nî lūn-bûn
@nan
2009年の論文
@ja
2009年学术文章
@wuu
2009年学术文章
@zh
2009年学术文章
@zh-cn
2009年学术文章
@zh-hans
2009年学术文章
@zh-my
2009年学术文章
@zh-sg
2009年學術文章
@yue
2009年學術文章
@zh-hant
name
Adopting model checking techniques for clinical guidelines verification.
@en
Adopting model checking techniques for clinical guidelines verification.
@nl
type
label
Adopting model checking techniques for clinical guidelines verification.
@en
Adopting model checking techniques for clinical guidelines verification.
@nl
prefLabel
Adopting model checking techniques for clinical guidelines verification.
@en
Adopting model checking techniques for clinical guidelines verification.
@nl
P2093
P1476
Adopting model checking techniques for clinical guidelines verification.
@en
P2093
Gianpaolo Molino
Mauro Torchio
Paolo Terenziani
Stefania Montani
P356
10.1016/J.ARTMED.2009.09.003
P577
2009-10-27T00:00:00Z