基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
魏艳鸣
河南经贸职业学院信息管理系,河南,郑州,450053
摘要：形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.
关键词：Real-Time Object-Z铁路交叉道口系统形式化描述
分类号：TP311(计算技术、计算机技术)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 32-36 )
英文信息