Model checking; Automotive engineering; Software; Cyber-physical systems; Context; Computational modeling; Accidents;
机译:基于混合接口自动机的网络物理系统建模与检查
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:模型检查网络物理特征协调的极简主义定性模型
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:朝着安全关键网络物理系统验证的统计模型检查方法
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。