Universidade NOVA de Lisboa (Portugal).;
机译:离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
机译:基于V模型的网络 - 物理系统和网络物理生产系统的发展
机译:通过将模型与网络 - 物理系统中的开发和硬件/软件部署组合结合型号来实现工业产品及其生产系统的共同演变
机译:系统行为与问题框架:形式主义在网络 - 物理系统发展中的概念,疑虑和作用
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:技术报告:迈向网络物理系统的系统性威胁建模方法
机译:通过将模型与网络 - 物理系统中的开发和硬件/软件部署组合,实现工业产品及其生产系统的共同演变