基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
기우Real-Time Object-Z어언적철로교차도구계통적형식화묘술
The formal specification of railway crossing system based on Real-Time Object-Z
  • 万方数据
    郑州轻工业学院学报（自然科学版） 정주경공업학원학보（자연과학판）
    JOURNAL OF ZHENGZHOU INSTITUTE OF LIGHT INDUSTRY(NATURAL SCIENCE)
    2009年 3期 32-36 ,共5页

    魏艳鸣

    위염명

    Real-Time Object-Z%铁路交叉道口系统%形式化描述 Real-Time Object-Z%鐵路交扠道口繫統%形式化描述
    Real-Time Object-Z%철로교차도구계통%형식화묘술
    形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.
    형식화어언Object-Z적실시확전Real-Time Object-Z가이대실시계통진행형식화묘술.이철로교차도구계통적응용증명료저일점.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문