首页> 外文会议>Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on >Offering formal verification capabilities for industry standard case tools: challenges and results

【24h】

Offering formal verification capabilities for industry standard case tools: challenges and results

机译：提供针对行业标准案例工具的正式验证功能：挑战和结果

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》|2000年|P.153-153|共1页
会议地点
作者
Damm W.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. FORMAL MODELS IN INDUSTRY STANDARD TOOLS: AN ARGOS BLOCK WITHIN SIMULINK [J] . T. BOURKE, A. SOWMYA International journal of software engineering and knowledge engineering . 2005,第2期

机译：工业标准工具中的正式模型：SIMULINK中的ARGOS块
2. Interactive product animator 5.0: more than just a technical verification and visualisation tool, IPA has been improved significantly, offering real ease of use and output image quality [J] . Colin Matthews CADCAM . 1999,第2期

机译：交互式产品动画师5.0：IPA不仅得到了技术验证和可视化工具的显着改进，还提供了真正的易用性和输出图像质量
3. SPARK by Example: an introduction to formal verification through the standard C++ library [J] . Leo Creuse, Joffrey Huguet, Christophe Garion, ACM SIGADA (Ada Programming Language): Ada Letters . 2018,第2期

机译：SPARK示例：通过标准C ++库进行形式验证的简介
4. Offering formal verification capabilities for industry standard case tools: challenges and results [C] . Damm W., Institute of Electric and Electronic Engineer IEEE International Conference on Formal Engineering Methods . 2000

机译：为行业标准案例工具提供正式验证功能：挑战和结果
5. Macro Environmental Challenges and Competitive Survival in the Emerging Economies: The Role of Dynamic Managerial Capabilities in the Nigerian Banking Industry [D] . Ochie, Chinedu. 2019

机译：新兴经济体宏观环境挑战和竞争生存：动态管理能力在尼日利亚银行业的作用
6. Development of SNP-Based Genomic Tools for the Canadian Bison Industry: Parentage Verification and Subspecies Composition [O] . Tianfu Yang, Michelle Miller, David Forgacs, 2020

机译：加拿大野牛行业SNP基因组工具的开发：父母验证和亚种组成
7. A case study in integrating formal verification tools using the OMDoc standard for mathematical documents [O] . Xiao Jin -1

机译：用OMDOC标准对数学文档集成整合正式验证工具的案例研究

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号