首页> 外文OA文献 >Checking Guideline Conformance of Medical Protocols using Modular Model Checking

【2h】

Checking Guideline Conformance of Medical Protocols using Modular Model Checking

机译：使用模块化模型检查来检查医疗协议的准则一致性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hommersom A.J.; Groot P.C.; Lucas P.;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems [J] . Moffett, Yann, Dingel, IEEE Transactions on Software Engineering . 2013,第9期

机译：使用软件模型检查来验证协议一致性，以进行嵌入式系统的模型驱动开发
2. Model Checking of Component Protocol Conformance – Optimizations by Reducing False Negatives [J] . Andreas Both, Wolf Zimmermann, René Franke Electronic Notes in Theoretical Computer Science . 2010,第2期

机译：组件协议一致性的模型检查–通过减少错误的否定词进行优化
3. On expanding protocol conformance checking to exception handling [J] . Christian Heike, Wolf Zimmermann, Andreas Both Service Oriented Computing and Applications . 2014,第4期

机译：关于将协议一致性检查扩展到异常处理
4. Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge [C] . Alessio Bottrighi, Federico Chesani, Paola Mello, International conference on business process management;BPM 2011 . 2011

机译：在具备基本医学知识的情况下执行的临床指南的一致性检查
5. Runtime Conformance Checking of Mobile Agent Systems Using Executable Models. [D] . Saifan, Ahmad A. 2010

机译：使用可执行模型的移动代理系统的运行时一致性检查。
6. Model Checking for Clinical Guidelines: an Agent-based Approach [O] . L. Giordano, P. Terenziani, A. Bottrighi, 2006

机译：临床指南的模型检查：基于代理的方法
7. Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems [O] . Eun-hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno 2008

机译：异步分布式系统的模块化结构无阻塞原子承诺协议模型检查
8. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security. [R] . Abi-Antoun, M., Wang, D., Torr, P. 2006

机译：检查威胁建模数据流程图以实现一致性和安全性。

Checking Guideline Conformance of Medical Protocols using Modular Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅