机译:验证分布式概率实时系统的自动机规范
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:与MR-LINAC系统的临床IMRT辐照:一种方法论和初步结果,实时验证剂量递送的空间准确性
机译:用于分布式实时系统的安全性,活力和非拟合的演绎概率验证方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:数据库方法和交付。部门系统集成与转换:基于分布式数据库技术的门诊信息系统
机译:嵌入式装配程序实时安全性能的演绎验证方法
机译:实时系统中安全性验证的转换方法。