机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:迈向安全关键网络物理系统软件的验证驱动的迭代开发
机译:验证安全关键系统中的网络物理交互
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范