University of Washington.;
机译:编译和验证安全关键型反应系统的SC-SystemJ程序
机译:迈向安全关键网络物理系统软件的验证驱动的迭代开发
机译:验证安全关键系统的调度协议
机译:使用实际形式方法SOFL来指定和验证安全关键系统的方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:用实际形式方法SOFL指定和验证安全关键系统的方法
机译:安全关键列车控制系统实用风险评估方法