AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
张雁鹏; 梁春燕; 谢迎锋; 张振海;
兰州交通大学 自动化与电气工程学院 甘肃 兰州730070;
甘肃省人工智能与图形图像处理工程研究中心 甘肃 兰州 730070;
北京全路通信信号研究设计院集团有限公司 北京 100070;
列车运行控制系统; 测试用例生成; 组合测试; 故障注入;
机译:通过重用深度嵌入式系统的运行时监视中的模型来生成基于模型的测试用例
机译:使用 GUI 运行时状态反馈生成基于事件序列的测试用例
机译:具有自动列车运行功能的中国列车控制系统基于突变模型的测试用例生成
机译:基于马尔可夫链和似然性的自动测试用例生成,验证和优先级排序的模型方法:理论与应用。
机译:列车运行控制装置,运行管理装置,列车控制系统以及列车运行方法
机译:列车运行控制装置,运行控制装置,列车控制系统以及列车运行方法
机译:程序,列车运行自适应PETRI NET模型生成器,列车测距安排支持装置,列车运行自适应PETRI NET模型生成装置和列车测距安排支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。