Behavioral Modeling; Functional Modeling; Simulation;
机译:对异常检测和诊断的网络 - 体质制造系统的背景敏感建模与分析
机译:自可执行的网络物理系统基于可执行模型测试的建模基础
机译:基于可执行模型的自我修复网络 - 物理系统测试建模基础
机译:网络物理系统可执行功能模型的上下文敏感合成
机译:网络物理系统的基于模型的软件综合。
机译:技术报告:迈向网络物理系统的系统性威胁建模方法
机译:Veriphy:验证网络物理系统模型的验证控制器可执行文件
机译:海军网络物理系统的安全和弹性功能建模。