任务级时间约束相关硕士博士期刊学术论文 - 信丰网

任务级时间约束相关论文

基于Event-B的ad hoc路由协议及任务级时间约束的形式化建模与验证

移动ad hoc网络是由移动节点搭建的临时通信网络。网络中没有任何固定的基础设施和中心管理设备。因为节点可以自由移动,网络拓扑......

学位

移动ad hoc网络 ZRP SRP Ariadne 形式化验证 Event-B 任务级时间约束

看过本文同时还关注