...
机译:解决交通网络物理系统的安全性:智能交通系统言语警告实用工具规模的开发和验证
机译:解决交通网络物理系统的安全性:智能交通系统言语警告实用工具规模的开发和验证
机译:智能交通系统的功能安全性和开发过程能力
机译:智能交通系统小型研究平台的开发
机译:用于两相(固液)提升管系统中大颗粒运输的设计和监控的瞬态流量保证模型的开发和大规模验证
机译:系统无缝集成的网络物理智能运输系统的三支柱方法论和框架
机译:智能运输网络物理系统的基于组件的交互式框架
机译:访客对国家公园中替代交通系统和智能交通系统的看法
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第2卷。开发安全验证方法