The formal spaciflcation of transport protocol using EPr / TN net system is given, and the general methods for the formal specification of OSI network protocol are outlined.

 
  • 最后用EPr/TN网系统形式描述了运输协议;阐明了OSI网络协议形式描述的一般方法.
今日热词
目录 附录 查词历史