协议规范语言相关硕士博士期刊学术论文

在多种形式化描述语言和时序逻辑原理的研究之上;针对通讯协议的特点提出一个协议模型思想,并设计了实现此模型协议描述语言.本方......