首页> 外文OA文献 >A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition

【2h】

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition

机译：一种利用局部细化和组合开发不可纠正的容错系统的形式化方法

页面导航

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

著录项

作者
Ralph Jeffords; Constance Heitmeyer; Myla Archer; Elizabeth Leonard;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Application of Formal Methods to Signalling Systems Using Techniques Based on Stepwise Refinement [J] . Natsuki TERADA Quarterly Report of RTRI . 2008,第3期

机译：形式化方法在基于逐步细化技术的信号系统中的应用
2. E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs [J] . Rajiv Murali, Andrew Ireland Electronic Communications of the EASST . 2012,第10期

机译：E-SPARK：从正式验证的设计中自动生成可能正确的代码
3. Provably Correct On-Chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis [J] . K. AVNIT, V. DSILVA, A. SOWMYA, ACM Transactions on Design Automation of Electronic Systems . 2009,第2期

机译：可能正确的片上通信：自动协议转换器综合的正式方法
4. A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition [C] . Ralph Jeffords, Constance Heitmeyer, Myla Archer, FM 2009: Formal methods . 2009

机译：使用局部优化和组合技术开发可正确校正的容错系统的正式方法
5. Towards provably correct services: Automated service composition via supervisory control synthesis [D] . Atampore, Francis Kwesi. 2017

机译：实现可证明正确的服务：通过监督控制综合实现自动化服务组合
6. A Novel Fault-Tolerant Navigation and Positioning Method with Stereo-Camera/Micro Electro Mechanical Systems Inertial Measurement Unit (MEMS-IMU) in Hostile Environment [O] . Cheng Yuan, Jizhou Lai, Pin Lyu, 2018

机译：在敌对环境中使用立体相机/微机电系统惯性测量单元（MEMS-IMU）的新型容错导航和定位方法
7. A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study) [O] . Egon Börger, Giuseppe Del Castillo 1995

机译：从基本组件中可证明地正确组合真实处理器的正式方法（apE100逆向工程研究）
8. Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition [R] . Jeffords, R., Heitmeyer, C., Archer, M., 2009

机译：利用局部细化和组合开发不可纠正的容错系统的形式化方法

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition

著录项

引文网络

相似文献

相关主题

期刊订阅