作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于UML和Petri网的铁路联锁软件建模
杨晋辉;郦 萌
Research on Railway Interlocking Software Modeling Based on UML and Petri Net
YANG Jinhui; LI Meng
计算机工程 . 2006, (11): 55 -57 .