performance; reliability; verification;
机译:考虑运行时技术可靠性评估要求,概念和测试,风险领域确定自主和半自动空中系统
机译:机器人系统中组件的性能回归测试和运行时验证
机译:可解释的运行时间监控和重新复制安全自主系统操作
机译:用于系统监视和测试的运行时关联引擎
机译:实现 可靠的分布式 系统: 通过高效的 运行 实时监测与 检测 谓词
机译:系统工程和即时检验:NIBIB POCT /系统工程研讨会的报告
机译:运行时相关引擎,用于系统监视和测试