Multi-Level Verification of Clinical Protocols

  title={Multi-Level Verification of Clinical Protocols},
  author={Georg Duftschmid and Silvia Miksch and Yuval Shahar and Peter D. Johnson},
Highly Cited
This paper has 20 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 13 extracted citations

Medical guidelines reconciling medical software and electronic devices: Imatinib case-study

2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE) • 2012
View 8 Excerpts
Highly Influenced

Cyber-Medical Systems: Requirements, Components and Design Examples

IEEE Transactions on Circuits and Systems I: Regular Papers • 2017
View 1 Excerpt

A Drug Administration Decision Support System

2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops • 2012
View 2 Excerpts

TAT-based formal representation of medical guidelines: Imatinib case-study

2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society • 2012
View 2 Excerpts

Temporal reasoning for decision support in medicine

Artificial Intelligence in Medicine • 2005
View 1 Excerpt

Similar Papers

Loading similar papers…