首页> 外文OA文献 >Integrating Formal Methods by Unifying Abstractions

【2h】

Integrating Formal Methods by Unifying Abstractions

机译：通过统一抽象来整合正式方法

代理获取

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

页面导航

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

著录项

作者
Raymond Boute;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Integrating Abstraction Techniques for Formal Verification of Analog Designs [J] . Mohamed H. Zaki, William Denmark, Sofiene Tahar, Journal of Aerospace Computing, Information, and Communication . 2009,第期

机译：集成抽象技术以进行模拟设计的形式验证
2. A formal framework for verifying distributed embedded systems based on abstraction methods [J] . Francois Carcenac, Frederic Boniol International Journal on Software Tools for Technology Transfer . 2006,第6期

机译：基于抽象方法的分布式嵌入式系统验证的正式框架
3. An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z [J] . Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Journal of Software Engineering and Applications . 2015,第8期

机译：UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
4. Integrating Formal Methods by Unifying Abstractions [C] . Raymond Boute Integrated Formal Methods . 2004

机译：通过统一抽象整合形式方法
5. A unified validation framework for VLSI circuits using formal and abstraction techniques. [D] . Moundanos, Konstantinos. 1998

机译：使用形式化和抽象技术的VLSI电路的统一验证框架。
6. HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. [O] . B. G. Silverman, O. Sokolsky, V. Tannen, 1999

机译：HOLON / CADSE：集成开放软件标准和正式方法以生成基于准则的决策支持代理。
7. Unified Composition Mechanism for Abstraction Units Based on Pluggable Methods [O] . Kuno Yasushi 2015

机译：基于可插拔方法的抽象单元统一组成机制
8. Abstraction as a Unifying Link for Formal Approaches to Concurrency. [R] . Jones, C. B. 2012

机译：抽象作为正式的并发方法的统一链接。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号