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.是什么意思_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.在线翻译_英语_读音_用法_例句