|国家科技期刊平台
| 注册
首页|期刊导航|铁路通信信号工程技术|形式化方法在铁路信号系统软件设计中的应用

形式化方法在铁路信号系统软件设计中的应用

李夏

铁路通信信号工程技术Issue(S1)：P.189-191,4.
✕
铁路通信信号工程技术Issue(S1)：P.189-191,4.

形式化方法在铁路信号系统软件设计中的应用

李夏1

作者信息

  • 1. 北京全路通信信号研究设计院有限公司,北京100073
  • 折叠

摘要

关键词

形式化/Z语言/ATP系统

分类

交通工程

引用本文复制引用

李夏..形式化方法在铁路信号系统软件设计中的应用[J].铁路通信信号工程技术,2013,(S1):P.189-191,4.

铁路通信信号工程技术

1673-4440

访问量0
|
下载量0
段落导航相关论文