10.3969/j.issn.1009-3044.2010.10.025
协议形式化描述与一致性验证研究
该文基于Telelogic_SDL_TTCN_Suite使用规范和描述语言(SDL:Specification and Description Language)以及树表结合表示法(TTCN:Tree and Tabular Combined Notation)探讨了协议的形式化描述与一致性验证问题,给出了协议形式化描述与一致性验证的一般方法.
形式化描述、一致性验证、SDL
6
TP309.04(计算技术、计算机技术)
2010-06-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
2363-2364,2366