首页> 外文OA文献 >Reo2PVS: Formal Specification and Verification of Component Connectors

【2h】

Reo2PVS: Formal Specification and Verification of Component Connectors

机译：REO2PVS：元件连接器的正式规范和验证

代理获取

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

页面导航

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

著录项

作者
M. Saqib Nawaz; Meng Sun;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A formal approach for the specification and verification of trustworthy component-based systems [J] . Mubarak Mohammad, Vangalur Alagar The Journal of Systems and Software . 2011,第1期

机译：规范和验证可信赖的基于组件的系统的正式方法
2. Formal Specification and Verification of Industrial Control Logic Components [J] . Ljungkrantz O., Akesson K., Fabian M., Automation Science and Engineering, IEEE Transactions on . 2010,第3期

机译：工业控制逻辑组件的正式规范和验证
3. Semi-formal specifications and formal verification improving the digital design: some statistics [J] . Torres D., Cortéz J., González R. E. Journal of Applied Research and Technology . 2009,第1期

机译：半正式规范和正式验证可改善数字设计：一些统计数据
4. Formal Verification for Components and Connectors [C] . Christel Baier, Tobias Blechmann, Joachim Klein, International Symposium Formal Methods for Components and Objects . 2009

机译：组件和连接器的正式验证
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. Testing Decomposition of Component Specifications Based on a Rule for Formal Verification [O] . Mass Soldal Lund 2003

机译：基于形式验证规则的组件规格分解测试
8. Using Formal Specification in the Guidance and Control Software (GCS) Experiment.Formal Design and Verification Technology for Life Critical Systems [R] . Weber, D., Jamsek, D. 1994

机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术

Reo2PVS: Formal Specification and Verification of Component Connectors

著录项

引文网络

相似文献

相关主题

期刊订阅