首页 期刊 轻工学报 基于Real—TimeObject—Z语言的铁路交叉道口系统的形式化描述 【正文】

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

作者:魏艳鸣 河南经贸职业学院信息管理系; 河南郑州450053
铁路交叉道口系统   形式化描述  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅