机译:基于混合接口自动机的网络物理系统建模与检查
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:网络 - 物理系统自动行为建模的动态数据采集与预处理
机译:通过将软件模型检查与混合系统可达性相结合来验证网络物理系统
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:使用任务分析模型和错误的人的行为发现系统故障的表型使用模型检测
机译:基于蒙特卡罗的统计模型检查网络 - 物理系统:综述
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。