时间自动机模型论文

本文主要研究内容作者宋爽,陈跃东（2019）在《基于时间自动机模型的区域控制器测试序列自动生成方法（英文）》一文中研究指出：针对目前区域控制器测试序列人工生成,测试效率低的问题...