联锁逻辑形式化模型检验的研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

联锁逻辑形式化模型检验的研究

杜军威;徐中伟;宋波

Research on Formal Model Checking of Interlocking Logic

DU Jun-wei; XU Zhong-wei; SONG Bo

计算机工程 . 2007, (15): 33 -35 . DOI: 10.3969/j.issn.1000-3428.2007.15.012