协议形式化描述与一致性验证研究

2010-12-31 00:00:00李大

电脑知识与技术 2010年10期

　　摘要:该文基于Telelogic_SDL_TTCN_Suite使用规范和描述语言(SDL:Specification and Description Language)以及树表结合表示法(TTCN:Tree and Tabular Combined Notation)探讨了协议的形式化描述与一致性验

电脑知识与技术2010年10期

电脑知识与技术的其它文章: 《计算机网络》课程的E-learning教学模式研究; 借鉴德国FH经验的计算机应用型人才培养模式探讨; 一种有效地形区域的获取方法; 网络信息资源组织研究综述; 一种基于USB2.0的高集成大面阵成像系统设计; A Behavior-based Buffer Overflow Attack Blocker