出处
《通讯世界》
2001年第3期52-53,共2页
Telecom World
同被引文献22
-
1罗军舟,顾冠群.协议工程技术[J].电信科学,1994,10(7):57-59. 被引量：1
-
2徐玉滨,翁惠焱,沙学军.TETRA系统呼叫信令流程分析及其仿真验证[J].无线电通信技术,2005,31(3):28-30. 被引量：7
-
3ZHANG Z J,LIU Y,ZHANG N T,et al.Simulatio analysis of the air interface protocol for TETRA system.
-
4DEWEY R Design of the TETRA mobile radio air interfaca protocol[C].Mobile and Personal Communication,13-15 December 1993 No.287.
-
5ETSI ETS 300 392-2 V2.3.2 Terrestrial Trunked Radio(TETRA);Voice plus Data(V+D);Part 2:Air Interface(AI),Jan.,200i[Z].
-
6WING J M A.Specific introduction to formal methods[J].IEEE Computer,1990,23(9):824.
-
7RUSSELL T.Telecommunications protocols second edition[M].New York:McGraw=Hill,2000.
-
8ZU DWEGN H.Software architectures for telecommunications network[J].Computer Communications,2002,25 25:119-120.
-
9BROY M Software technology-formal methods and scientific foundations[J].Information and Software Technology,1999,41:47-950.
-
10LAIR,JIRACH TTANA A Communication protocol specification and verification[M].AM sterdarn:Kluwer Academic Publishers,1 998.
二级引证文献7
-
1郑伟超,施扬,徐子平,姜维,姜河.TETRA系统逻辑链路控制层协议分析与实现[J].军事通信技术,2010,31(3):51-55.
-
2水泉,宋波,倪晓清.基于SDL的通信协议开发平台[J].现代电子技术,2008,31(11):26-28. 被引量：1
-
3宋政育,孙昕.TETRA数字集群系统上MAC层协议栈的开发[J].移动通信,2009,33(12):35-39. 被引量：4
-
4陈发堂,袁金龙,牛丽丽.基于SDL的TD-LTE系统EMM子层协议测试[J].广东通信技术,2012,32(3):55-58. 被引量：1
-
5刘叶红,马越,徐海川,鄢楚平.基于和谐模式的数字集群二层协议栈的实现[J].计算机工程与设计,2012,33(6):2160-2165.
-
6汤升,马越,余综.基于模型驱动的CMCE协议栈的设计与实现[J].计算机与现代化,2012(11):177-181.
-
7杨益平,许坤.基于SDL库的嵌入式平台中文显示技术[J].电子技术与软件工程,2017(6):192-192.
-
1钟嘉强.SDL形式描述语言[J].中国计算机用户,1990(9):24-27.
-
2江宏.现实世界的LISP Clojure语言初探[J].程序员,2012(12):118-121.
-
3徐鹏,王克宏.信息时代的精灵——Java语言讲座(二) Java语言初探[J].电子与电脑,1997,4(2):111-130.
-
4闵京华.ISO形式描述语言LOTOS[J].中国计算机用户,1990(9):28-31.
-
5王道乾.基于UML的电子商务系统的设计与实现[J].中国科技信息,2006(22):135-137. 被引量：5
-
6罗松.电信系统的标准化语言—SDL[J].计算机与通信,1998(9):12-14.
-
7李大鹏.数据仓库和数据挖掘语言初探[J].邮电设计技术,2004(1):36-40. 被引量：2
-
8杨永.初中语文课堂教学评价语言初探[J].科学咨询,2013(20):85-86.
-
9李伟,郭宏亮.执行LOTOS形式说明的编译器支持[J].平原大学学报,2006,23(6):125-127.
-
10武正敏.计算机网络防御策略描述语言初探[J].网友世界,2012(10):4-4.
;
