FDT.相关论文
本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些......
本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向......
