首页> 外文OA文献 >Experiences with Formal Specification of Fault-Tolerant File Systems

【2h】

Experiences with Formal Specification of Fault-Tolerant File Systems

机译：正式规范容错文件系统的经验

页面导航

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

著录项

作者
Roxana Geambasu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML [J] . Vincent Rahli, David Guaspari, Mark Bickford, Electronic Communications of the EASST . 2015,第11期

机译：使用EventML的容错系统的正式规范，验证和实现
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. Experiences with Formal Specification of Fault-Tolerant File Systems [C] . Roxana Geambasu, Andrew Birrell, John MacCormick IEEE International Conference on Dependable Systems and Networks with FTCS and DCC . 2008

机译：对容错文件系统的正式规范的经验
5. Formal specification of requirements for analytical redundancy-based fault-tolerant flight control systems. [D] . Del Gobbo, Diego. 2000

机译：基于分析冗余的容错飞行控制系统的要求的正式规范。
6. Electronic teaching files: Seven-year experience using a commercial picture archiving and communication system [O] . Eliot Siegel, Bruce Reiner 2001

机译：电子教学文件：七年使用商业图片存档和通信系统的经验
7. SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systems [O] . Ridge Tom, Sheets David, Tuerk Thomas, 2015

机译：SibylFS：POSIX和实际文件系统的正式规范和基于Oracle的测试
8. Verification of the Ftcayuga Fault-Tolerant Microprocessor System. Volume 2:Formal Specification and Correctness Theorems [R] . Bickford, M., Srivas, M. 1991

机译：验证Ftcayuga容错微处理器系统。第2卷：形式规范和正确性定理

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号