机译:适用于UBIQUITOUS计算环境的UBIQUITOUS Web:嵌入式语义的作用
机译:使用定理秘密公主进行嵌入式装配计划的实时安全性能的演绎验证
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:嵌入式和无处不在计算的演绎概率验证方法
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:诊断干预验证调整(DIVA)模型对综合基础医疗规划和绩效改善的有效性:尼日利亚卡杜纳州的嵌入式混合方法评估
机译:嵌入式装配程序实时安全性能的演绎验证方法
机译:概率要求(部分)验证方法最佳实践改进。变量验收抽样计算器:计划的衍生和验证,第1卷