0-1停止等待协议相关硕士博士期刊学术论文 - 搜论网

0-1停止等待协议相关论文

一种兼顾协议正确性验证和性能评估的Petri网方法

基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前......

期刊

协议验证形式化分析时延PETRI网协议性能评估 0-1停止等待协议 Protocol validation Formal analysis Timed

看过本文同时还关注