Arizona State University.;
机译:基于事件代数的网络物理系统行为建模并验证其安全性
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:基于排的车辆网络物理系统中安全消息传播的建模和分析
机译:分布式网络物理系统的建模和安全验证的Egocentric抽象
机译:基于模型的医学网络物理系统中用户行为的分析。
机译:注意网络物理鸿沟:基于模型的分析和系统性感知诱发的故障的缓解
机译:利用基于模型的安全性的安全关键网络物理系统的安全验证
机译:从metroII到metronomy,设计基于合同的功能 - 架构协同仿真框架,用于网络物理系统的时序验证。