状态空间报告相关硕士博士期刊学术论文

状态空间报告相关论文

目前可靠用户数据报协议（RUDP）有许多分析方式,但缺少形式化的模型。针对该问题,运用着色Petri网（CPN）对RUDP进行形式化建模,使用CPN T......

期刊