Dresden University of Technology, Chair of Transportation Systems Engineering, Germany;
Dresden University of Technology, Chair of Transportation Systems Engineering, Germany;
Ingenieurgesellschaft fuer Schienenverkehrstechnik mbH, Germany;
ERTMS; ETCS; verification; validation; planning; tool; satellite; track database; measurement; SAT.engine;
机译:基于头像的自动化工具和测试云系统作为数字时代现代反馈控制的网关
机译:在泰国,数字控制取代了压缩机组的模拟系统:通过改装现代数字发动机和压缩机控制,GT22压缩传动系的性能和运行得到改善
机译:自动决策工具,可确定用于制药和生物医学产品过程验证的最经济的抽样计划
机译:SAT.ENGINE:现代列车控制系统的自动规划和验证工具
机译:具有瞬态监控命令和控制的网络物理嵌入式系统:验证自动防撞系统中安全响应的框架
机译:计划生育2020年倡议重点国家中已婚或有工会的育龄妇女现代避孕药具的使用未满足的需求和满足的需求:使用计划生育估计工具进行的系统分析
机译:SAT.ENGINE:现代列车控制系统的自动规划和验证工具
机译:用自动化工程设计语言编写的数字飞行控制系统软件:用户验证和验证工具指南