论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 交通运输期刊 \
- 铁路通信信号工程技术期刊 \
形式化方法在铁路信号系统软件设计中的应用
形式化方法在铁路信号系统软件设计中的应用
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明.
推荐文章
铁路信号系统软件设计开发平台研究
信号系统设计开发平台
组件化开发
软件
中国铁路信号系统智能监测技术研究
中国铁路
信号系统
智能监测技术
电务监测
LED光源在铁路信号系统中的应用研究
LED
信号机
驱动单元
双点光源
BIM技术在铁路信号设计与施工中的应用分析
BIM技术
铁路信号
二维图形软件
应用设计
施工
三维立体
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 形式化方法在铁路信号系统软件设计中的应用 | ||
| 来源期刊 | 铁路通信信号工程技术 | 学科 | |
| 关键词 | 形式化 Z语言 ATP系统 | ||
| 年，卷（期） | 2013,（z1） | 所属期刊栏目 | 仿真与测试 |
| 研究方向 | 页码范围 | 189-191,219 | |
| 页数 | 4页 | 分类号 | |
| 字数 | 3023字 | 语种 | 中文 |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2013(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
形式化
Z语言
ATP系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
铁路通信信号工程技术
主办单位：
北京全路通信信号研究设计院有限公司
出版周期：
月刊
ISSN：
1673-4440
CN：
11-5423/U
开本：
16开
出版地：
北京市丰台区华源一里18号楼
邮发代号：
创刊时间：
1979
语种：
chi
出版文献量（篇）
3092
总下载数（次）
13
总被引数（次）
6146
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
铁路通信信号工程技术2022
铁路通信信号工程技术2021
铁路通信信号工程技术2020
铁路通信信号工程技术2019
铁路通信信号工程技术2018
铁路通信信号工程技术2017
铁路通信信号工程技术2016
铁路通信信号工程技术2015
铁路通信信号工程技术2014
铁路通信信号工程技术2013
铁路通信信号工程技术2012
铁路通信信号工程技术2011
铁路通信信号工程技术2010
铁路通信信号工程技术2009
铁路通信信号工程技术2008
铁路通信信号工程技术2007
铁路通信信号工程技术2006
铁路通信信号工程技术2013年第z1期
铁路通信信号工程技术2013年第6期
铁路通信信号工程技术2013年第5期
铁路通信信号工程技术2013年第4期
铁路通信信号工程技术2013年第3期
铁路通信信号工程技术2013年第2期
铁路通信信号工程技术2013年第1期
