Improving medical protocols by formal methods
- 11 January 2006
- journal article
- Published by Elsevier in Artificial Intelligence in Medicine
- Vol. 36 (3) , 193-209
- https://doi.org/10.1016/j.artmed.2005.10.006
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Comparing Computer-interpretable Guideline Models: A Case-study ApproachJournal of the American Medical Informatics Association, 2003
- Experiences in the Formalisation and Verification of Medical ProtocolsPublished by Springer Nature ,2003
- Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines:: A literature review of guideline representation modelsInternational Journal of Medical Informatics, 2002
- Verifying Concurrent Systems with Symbolic ExecutionJournal of Logic and Computation, 2002
- Using Critiquing for Improving Medical Protocols: Harder than It SeemsPublished by Springer Nature ,2001
- Formal System Development with KIVPublished by Springer Nature ,2000
- EON: A Component-Based Approach to Automation of Protocol-Directed TherapyJournal of the American Medical Informatics Association, 1996
- Decision support in healthcareInternational Journal of Bio-Medical Computing, 1995
- Improving Clinical Guidelines with Logic and Decision-table TechniquesMedical Decision Making, 1994
- On visual formalismsCommunications of the ACM, 1988