活动图论文

从 UML 状态图到 PVS 规范的自动转换和验证

一、从UML状态图到PVS规范的自动转换、验证（论文文献综述）刘文倩[1]（2020）在《基于车车通信的列控系统资源管理方法研究》文中认为近年来,国内外广泛开展了对基于车车通信...