協(xié)議形式化描述與一致性驗證研究
2010-12-31 00:00:00李大
電腦知識與技術 2010年10期
摘要:該文基于Telelogic_SDL_TTCN_Suite使用規(guī)范和描述語言(SDL:Specification and Description Language)以及樹表結合表示法(TTCN:Tree and Tabular Combined Notation)探討了協(xié)議的形式化描述與一致性驗
摘要:該文基于Telelogic_SDL_TTCN_Suite使用規(guī)范和描述語言(SDL:Specification and Description Language)以及樹表結合表示法(TTCN:Tree and Tabular Combined Notation)探討了協(xié)議的形式化描述與一致性驗
