...
机译:功能反应系统的运行时间验证和验证
National Institute of Aerospace;
University of Nottingham;
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视,以定义受监视属性
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:ModelPlex:已验证的网络物理系统模型的已验证运行时验证
机译:自适应软件的运行时验证和确认框架。
机译:嵌入式实时系统的运行时验证
机译:功能反应系统的运行时间验证和验证
机译:modelplex:已验证的网络物理系统模型的运行时验证。