计算机通信协议验证的常用技术
出处
《中国计算机用户》
1990年第9期31-34,共4页
China Computer Users
-
1张伟,刘积仁,李华天.启发式协议验证[J].信息与控制,1990,19(6):45-49.
-
2刘建福,徐德启.并发系统的模型与验证[J].兰州大学学报（自然科学版）,1992,28(1):29-34.
-
3李楠,杨培根.通信协议验证的可达性分析方法及其自动化[J].计算机研究与发展,1992,29(11):28-34.
-
4赵丽敏.自动机理论在协议开发中的应用[J].电脑知识与技术,2007(5):784-785. 被引量：1
-
5周清雷,王静,赵东明.UPPAAL环境下通讯协议的自动验证[J].河南师范大学学报（自然科学版）,2006,34(4):40-42. 被引量：2
-
6杨郁州,张伟,占东生.Sip协议的petri网建模及性能验证[J].微计算机信息,2010,26(21):92-94.
;
