D-RisQ UK, Malvern, UK;
ISO 26262; formal methods; functional safety; model checking;
机译:使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视,以定义受监视属性
机译:根据ISO 26262自动化ASIL分配和分解,使用车辆电气系统的示例进行自动化驾驶
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:使用自动形式方法证明ISO 26262下系统机械系统的特性
机译:对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
机译:中国抗菌素耐药性监测系统(CARSS)医院中常用的五种自动化药敏试验方法准确性的比较
机译:证明组播系统有序性的一种形式化方法