吉林大学学报（信息科学版）2002，Vol.20Issue(3)：25-28,4.
SDL-2000动态语义定义方法
Approach to define the dynamic semantics of SDL-2000
摘要
关键词
SDL语言/形式定义/动态语义/抽象状态机(ASM)分类
信息技术与安全科学引用本文复制引用
赵宇虹,艾波..SDL-2000动态语义定义方法[J].吉林大学学报（信息科学版）,2002,20(3):25-28,4.基金项目
信息产业部国际电信联盟标准化对口项目(97-T003) （97-T003）
