verification logic network
小提琴 VLN Verification Logic Network 验证逻辑网络 VLN Valencia, Venezuela - Valencia (Airport Code) 瓦伦西亚,委内瑞拉-瓦伦西亚(机场代码) ..
基于1个网页-相关网页
verification logic network
验证逻辑网络
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
youdao
更多双语例句