Shaoying Liu: "Formal Verification of Condition Data Flow Diegrams for Assurance of correct Network Protocols"Proceeding of International Conference on Advanced Information Networking and Applications, IEEE. March,2003(予定). (2003)
Shaoying Liu: "Formal Verification of Condition Data Flow Diegrams for Assurance of correct Network Protocols"Proceeding of International Conference on Advanced Information Networking and Applications, IEEE. March,2003(予定). (2003)
复制标题
Shaoying Liu：“用于保证正确网络协议的条件数据流图的形式验证”高级信息网络和应用国际会议论文集，IEEE，2003 年 3 月（预定）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
