首页> 中文期刊> 《轻工学报》 >基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述

基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.

著录项

来源
《轻工学报》 |2009年第3期|32-36|共5页
作者
魏艳鸣;
展开▼
作者单位

河南经贸职业学院信息管理系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Real-Time; Object-Z; 铁路交叉道口系统; 形式化描述;

相似文献

中文文献
外文文献
专利

1. 基于Real-Time Object-Z语言的实时系统形式化描述 [J] . 魏艳铭 ,张广泉 . 重庆师范大学学报：自然科学版 . 2007,第4期
2. 铁路与公路交叉道口的自动控制系统 [J] . 于新 ,胡秀霞 ,胡国进 . 宜春学院学报 . 2005,第002期
3. 基于5G技术矿区铁路道口自动控制系统的研究 [J] . 陈雪花 ,佘建煌 ,王爱东 . 电脑知识与技术 . 2021,第021期
4. 基于光电开关的铁路道口检测系统设计与实现 [J] . 孔繁军 . 无线互联科技 . 2021,第24期
5. 基于二维码技术的铁路道口管理系统实现 [J] . 张士东 . 交通与运输 . 2020,第3期
6. 结合大电炉铁路平交道口改造工程初探冶金企业承重载荷砼铺面板铁路平交道口维修与养护工作 [C] . 周朝元 . 中国金属学会冶金运输分会2011年年会 . 2011
7. 基于嵌入式Linux的铁路道口信号智能预警控制系统设计 [A] . 狄晓斌 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号