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

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

李夏

铁路通信信号工程技术2013，Vol.10Issue(z1)：189-191,219,4.
✕
铁路通信信号工程技术2013，Vol.10Issue(z1)：189-191,219,4.

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

李夏1

作者信息

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

摘要

关键词

形式化/Z语言/ATP系统

引用本文复制引用

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

铁路通信信号工程技术

1673-4440

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