Compositional Abstraction in Real-Time Model Checking

机译：实时模型检查中的组合抽象

代理获取

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

页面导航

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

著录项

作者
Berendsen J.K.; Vaandrager F.W.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models [J] . Marjan Sirjani, Ali Movaghar, Amin Shali, Journal of Universal Computer Science . 2005,第6期

机译：Rebeca模型的模型检查，自动抽象和组成验证
2. Abstraction In Model Checking Real-Time Temporal Logic of Knowledge [J] . CongHua Zhou, Bo Sun Journal of Computers . 2012,第2期

机译：模型中的抽象检查知识的实时时间逻辑
3. Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC [J] . Timm Liebrenz, Verena Klös, Paula Herber Ada Letters . 2016,第2期

机译：SystemC中建模的硬件/软件协同设计的自动分析和抽象
4. Compositional Abstraction in Real-Time Model Checking [C] . Jasper Berendsen, Frits Vaandrager Formal Modeling and Analysis of Timed Systems . 2008

机译：实时模型检查中的组合抽象
5. Model checking, abstraction, and compositional verification. [D] . Long, David Esley. 1993

机译：模型检查，抽象和组成验证。
6. Compositional Mining of Multiple Object API Protocols through State Abstraction [O] . Ziying Dai, Xiaoguang Mao, Yan Lei, 2013

机译：通过状态抽象进行多对象API协议的组合挖掘
7. Compositional abstraction in real-time model checking [O] . Jasper Berendsen, Frits Vaandrager 2008

机译：实时模型检查中的组合抽象
8. Model Checking, Abstraction, and Compositional Verification. [R] . Long, D. E., Clarke, E. M., Bryant, R. E., 1993

机译：模型检查，抽象和组合验证。

Compositional Abstraction in Real-Time Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅