Verification of Medical Guidelines by Model Checking – A Case Study-Reference-Cited by-同舟云学术

Verification of Medical Guidelines by Model Checking – A Case Study

Published:2006 Issue: Volume: Page:219-233
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Bäumler Simon,Balser Michael,Dunets Andriy,Reif Wolfgang,Schmitt Jonathan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11691617_13

Reference22 articles.

1. American Academy of Pediatrics, Provisional Committee for Quality Improvement and Subcommittee on Hyperbilirubinemia. Practice parameter: management of hyperbilirubinemia in the healthy term newborn Pediatrics 94, 558-565 (1994)

2. Lecture Notes in Computer Science;M. Balser,2000

3. Balser, M., Duelli, C., Reif, W.: Formal Semantics of Asbru - An Overview. In: Proc. of the 6th World Conference on Integrated Design and Process Technology(IDPT 2002) (June 2002)

4. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994)

5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Application of Computer Technology to Clinical Practice Guideline Implementation: A Scoping Review;Journal of Medical Systems;2023-12-27

2. Semantic Annotations in Clinical Guidelines;From Data to Models and Back;2021

3. Formal Ontological Analysis for Medical Protocols;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28

4. Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution;Knowledge Representation for Health Care;2015

5. A Hybrid Approach to the Verification of Computer Interpretable Guidelines;Foundations of Biomedical Knowledge Representation;2015