Rigorous Development of Fault-Tolerant Systems through Co-refinement

机译：通过共同化解严格地发展容错系统

代理获取

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

页面导航

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

著录项

作者
Ilya Lopatkin; Alexander Romanovsky;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B [J] . Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Information Technology Journal . 2008,第6期

机译：使用事件B严格开发信息检索系统的容错事务
2. Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B [J] . Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Information Technology Journal . 2008,第6期

机译：使用事件B严格开发信息检索系统的容错事务
3. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip [J] . Danny Dolev, Matthias Fuegger, Markus Posch, Journal of computer and system sciences . 2014,第4期

机译：严格建模自稳定的容错电路：片上系统的超鲁棒时钟方案
4. Rigorous Development of Fault-Tolerant Systems through Co-refinement [C] . Ilya Lopatkin, Alexander Romanovsky Ada-Europe international conference on reliable software technologies . 2014

机译：通过协同优化来严格开发容错系统
5. Methodology for adapting rigorous simulation programs to supervisory control of building HVAC&R systems: Simulation, calibration and optimization. [D] . Sun, Jian. 2004

机译：使严格的模拟程序适应建筑物HVAC＆R系统的监督控制的方法：模拟，校准和优化。
6. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip [O] . Danny Dolev, Matthias Függer, Markus Posch, -1

机译：严格建模自稳定的容错电路：片上系统的超鲁棒时钟方案
7. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip [O] . Dolev Danny, Függer Matthias, Posch Markus, 2014

机译：严格建模自稳定的容错电路：片上系统的超鲁棒时钟方案
8. Computing Science: Rigorous Development of Fault-Tolerant Systems through Co-Refinement. [R] . Lopatkin, I., Romanovsky, A. 2014

机译：计算科学：通过共同精炼严格开发容错系统。

Rigorous Development of Fault-Tolerant Systems through Co-refinement

著录项

引文网络

相似文献

相关主题

期刊订阅