uml论文

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

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

一、NRZ-HDB3码转换器的高速长距离通信（论文文献综述）赵娟[1]（2014）在《城市轨道交通通信中的光传输网络研究》文中研究指明随着我国近10年来城市轨道交通系统建设的全...