首页> 外文OA文献 >A Verified POSIX-Compliant Flash File System - Modular Verification Technology Crash Tolerance

【2h】

A Verified POSIX-Compliant Flash File System - Modular Verification Technology Crash Tolerance

机译：经过验证的pOsIX兼容Flash文件系统 - 模块化验证技术和崩溃容差

代理获取

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

页面导航

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

著录项

作者
Ernst Gidon Marian;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Transforming Opacity Verification to Nonblocking Verification in Modular Systems [J] . Mohajerani Sahar, Lafortune Stephane IEEE Transactions on Automatic Control . 2020,第4期

机译：将透明度验证转换为模块化系统中的非阻塞验证
2. Verifying The Cics File Control Api With Z/eves: An Experiment In The Verified Software Repository [J] . Leo Freitas, Jim Woodcock, Yichi Zhang Science of Computer Programming . 2009,第4期

机译：使用Z / eves验证Cics文件控件Api：已验证软件存储库中的一项实验
3. EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems [J] . Vincent Rahli, David Guaspari, Mark Bickford, Science of Computer Programming . 2017,第nova15期

机译：EventML：容错状态机复制系统的规范，验证和实现
4. Inside a Verified Flash File System: Transactions and Garbage Collection [C] . Gidon Ernst, Joerg Pfaehler, Gerhard Schellhorn, International Conference on Verified Software: Theories, Tools and Experiments . 2016

机译：在经过验证的Flash文件系统中：事务和垃圾回收
5. Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. [D] . Hill, Richard Charles. 2008

机译：使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
6. Treatment verification using Varian’s dynalog files in the Monte Carlo system PRIMO [O] . Miguel Rodriguez, Lorenzo Brualla 2019

机译：在Monte Carlo系统PRIMO中使用Varian的动力记录文件进行治疗验证
7. Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System [O] . Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, 2021

机译：Fliprix：模块化验证并发和崩溃安全闪存系统
8. Environmental Technology Verification Program Advanced Monitoring Systems Center: Test/QA Plan for Verification of Rapid Toxicology Technologies [R] . 2003

机译：环境技术验证计划高级监测系统中心：快速毒理学技术验证的测试/质量保证计划

A Verified POSIX-Compliant Flash File System - Modular Verification Technology Crash Tolerance

著录项

引文网络

相似文献

相关主题

期刊订阅