Beijing University of Aeronautics and Astronautics, Dept. of Systems Engineering;
software testing; simulation model; real-time software; testing data;
机译:用于自动测试软实时嵌入式软件的环境建模和仿真
机译:嵌入式实时软件仿真测试的建模方法
机译:嵌入式实时软件仿真测试建模方法
机译:用于实时嵌入式软件的模型驱动仿真测试方法
机译:基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
机译:嵌入式系统中分数微积分数值方法的优化
机译:基于实时扩展UmL和改进形式化方法的实时嵌入式软件测试集成应用