ロード中...
Model Checking for Clinical Guidelines: an Agent-based Approach
In this paper, we propose a new computer-based approach to model clinical guidelines. We first show how clinical guidelines can be modelled in an agent like fashion in the specification language Promela of the model checker SPIN. Then, we describe the impact of such a move: by using SPIN model-check...
保存先:
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
American Medical Informatics Association
2006
|
| 主題: | |
| オンライン･アクセス: | https://ncbi.nlm.nih.gov/pmc/articles/PMC1839493/ https://ncbi.nlm.nih.gov/pubmed/17238349 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|