机译:侦察:在运行时验证文件系统一致性
Reliability; Verification; Performance; Measurement Metadata consistency; Runtime verification; File system checker;
机译:侦察:在运行时验证文件系统一致性
机译:在运行时为并行文件系统启用动态文件I / O路径选择
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:通过使用一致性检查规则在运行时监视文件系统参数来维护文件系统的一致性
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:嵌入式实时系统的运行时验证
机译:Lotus @ Runtime:运行时监控和自适应系统验证的工具(工件)
机译:modelplex:已验证的网络物理系统模型的运行时验证。