首页> 外文OA文献 >Model Transformation Specification for Automated Formal Verification

【2h】

Model Transformation Specification for Automated Formal Verification

机译：自动形式验证的模型转换规范

页面导航

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

著录项

作者
Asmiza Abdul Sani; Fiona A. C. Polack; Richard F. Paige;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS [J] . HAZEM EL-GENDY, NABIL EL-KADHI International journal of software engineering and knowledge engineering . 2005,第5期

机译：莲花规格自动转换为雌激素规格的正式方法
2. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification [J] . Felix C. G?rtner Journal of Universal Computer Science . 1999,第10期

机译：容错系统规范和验证的转换方法：正式背景和分类
3. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification [J] . Felix C. G?rtner Journal of Universal Computer Science . 1999,第10期

机译：容错系统规范和验证的转换方法：正式背景和分类
4. Model transformation specification for automated formal verification [C] . Sani Asmiza Abdul, Polack Fiona A. C., Paige Richard F. 2011 5th Malaysian Conference in Software Engineering . 2011

机译：用于自动形式验证的模型转换规范
5. A Methodology for Automated Verification of Rosetta Specification Transformations [D] . Lohoefener, Jennifer L. 2011

机译：Rosetta规范转换的自动验证方法
6. Developing Quality Indicators and Auditing Protocols from Formal Guideline Models: Knowledge Representation and Transformations [O] . Aneel Advani, Mary Goldstein, Yuval Shahar, 2003

机译：从正式指南模型开发质量指标和审核协议：知识表示和转换
7. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models [O] . Gyorgy Csertan, Gabor Huszerl, Istvan Majzik, 2002

机译：VIaTRa - 用于UmL模型形式验证和验证的可视化自动转换
8. Formal Object State Model Transformations for Automated Agent System Synthesis [R] . Marsh, D. W. 2000

机译：自动代理系统综合的形式对象状态模型转换

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号