吉林大学学报（信息科学版）2002，Vol.20Issue(1)：39-44,6.
SDL静态语义定义研究
Study on the definition of static semantics of SDL
摘要
关键词
SDL语言/形式定义/静态语义/抽象状态机(ASM)分类
信息技术与安全科学引用本文复制引用
赵宇虹,艾波..SDL静态语义定义研究[J].吉林大学学报（信息科学版）,2002,20(1):39-44,6.基金项目
信息产业部国际电信联盟标准化对口项目(97-T003) （97-T003）
