微型电脑应用2014，Vol.30Issue(1)：28-30,3.
从类树形流程图到Z语言的形式化规格
From the Tree Liked Flowchart to Formal Specification Based on Z Language
摘要
关键词
类树形流程图/Z语言/电信系统/形式化规格Key words
Tree Liked Flowchart/Z Language/Telecommunication System/Formal Specification分类
信息技术与安全科学引用本文复制引用
彭展..从类树形流程图到Z语言的形式化规格[J].微型电脑应用,2014,30(1):28-30,3.基金项目
广东石油化工学院青年自然科学项目(513023) （513023）
