Interactive Verification of Medical Guidelines

14 years 2 months ago

Download www.openclinical.org

Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In this paper, we present the first tool which directly supports interactive verification of medical guidelines.2

Jonathan Schmitt, Alwin Hoffmann, Michael Balser,

Real-time Traffic

FM 2006 | Formal Methods | Health Care | Important Issue | Medical Guidelines |

claim paper

» Combining task execution and background knowledge for the verification of medical guidelin...

» Easing the Formalization of Clinical Guidelines with a Usertailored Extensible Agile Model...

» Agents and Clinical Guidelines Filling the Semantic Gap

» Taxonomy and Usage Guidelines for Glyphbased Medical Visualization

» Experiences in the Formalisation and Verification of Medical Protocols

» EORCA A Collaborative Activities Representation for Building Guidelines from Field Observa...

» Interface of Inference Models with Concept and Medical Record Models

» Checking the Quality of Clinical Guidelines using Automated Reasoning Tools

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FM
Authors	Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos

Comments (0)

Sciweavers

Interactive Verification of Medical Guidelines

FM 2006 | Formal Methods | Health Care | Important Issue | Medical Guidelines |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers