一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

文件格式： PDF文档

文件大小： 715.34 KB

资源类别：铁道

关键词：序列生成基于测试模型

进入标准下载页面

本资源下载需 1 点

论文简介

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

相关推荐