机译:将透明度验证转换为模块化系统中的非阻塞验证
机译:使用Z / eves验证Cics文件控件Api:已验证软件存储库中的一项实验
机译:EventML:容错状态机复制系统的规范,验证和实现
机译:在经过验证的Flash文件系统中:事务和垃圾回收
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:在Monte Carlo系统PRIMO中使用Varian的动力记录文件进行治疗验证
机译:Fliprix:模块化验证并发和崩溃安全闪存系统
机译:环境技术验证计划高级监测系统中心:快速毒理学技术验证的测试/质量保证计划