University of Maryland College Park;
机译:验证具有参与增强功能的入门级网络物理中风康复系统的理由
机译:基于排的车辆网络物理系统中安全消息传播的建模和分析
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:邀请:关于自主网络物理系统中支持学习的组件的安全性的推理
机译:基于模型的网络物理系统安全性分析和验证。
机译:迈向物联网:网络物理系统的混合语义注释提取和推理框架
机译:关于自主网络物理系统中的学习组件安全的推理