作者:张晓霞 李元柳 李冬霞sdlmsc面向对象的技术停止等待协议
摘要:介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《通信技术》(CN:51-1167/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《通信技术》是国内创办时间长、影响大的IT专业媒体,主要报道信源处理、传输、业务与系统、网络、移动通信、信息安全等方面的先进技术、理论研究成果和最新动态。
省级期刊
人气 366844 评论 69
人气 252854 评论 66
人气 250475 评论 47
部级期刊
人气 249815 评论 10