面向实现相关论文
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上，针对通讯协议的特点提出了一个协议模型思想，并设计了实现此模型的协议......
在多种形式化描述语言和时序逻辑原理的研究之上;针对通讯协议的特点提出一个协议模型思想,并设计了实现此模型协议描述语言.本方......
