Experiences in the Formalisation and Verification of Medical Protocols

This publication has 6 references indexed in Scilit:

• Formal System Development with KIV
  Published by Springer Nature ,2000
• Clinical guidelines: Potential benefits, limitations, and harms of clinical guidelines
  BMJ, 1999
• PROforma: a general technology for clinical decision support systems
  Computer Methods and Programs in Biomedicine, 1997
• Decision support in healthcare
  International Journal of Bio-Medical Computing, 1995
• Practice Parameter: Management of Hyperbilirubinemia in the Healthy Term Newborn
  Published by American Academy of Pediatrics (AAP) ,1994
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985