篇名 | Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines | ||
来源期刊 | 现代交通学报:英文版 | 学科 | 工学 |
关键词 | 铁路信号系统 抽象状态机 联锁表 验证 模型控制 铁路运输系统 建模工具 有限状态机 | ||
年,卷(期) | 2016,(4) | 所属期刊栏目 | |
研究方向 | 页码范围 | 277-283 | |
页数 | 7页 | 分类号 | TP311 |
字数 | 语种 | 中文 | |
DOI |