安全关键系统安全性分析的形式化方法

Inna Vistbakka酒店,埃琳娜·特鲁比西纳安全关键系统安全性分析的形式化方法第14届欧洲可靠计算会议,2018年EDCC,Iași,罗马尼亚,2018年9月10日至14日182-189,IEEE计算机协会,2018 [美国国防部]

摘要

缺少摘要。