退出
我的积分:
中文文献批量获取
外文文献批量获取
付春艳;
浙江大学;
hoc; 路由协议; 任务级; 时间约束; 形式化建模;
机译:基于节点自相似性的MANET路由协议的形式化验证方法
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:使用GRL和CADP对GALS系统进行形式化建模和验证
机译:事件-B中任务级时间约束的规范和验证
机译:Ad-hoc网络中的基于ad-hoc按需距离矢量(AODV)路由和群集的基于路由协议(CBRP)协议
机译:ETHREaD:高度优化的基于机器学习的方法到meta-Threading超线程和蛋白质三级结构的建模
机译:BeeadHoc的形式化建模:一种生物启发的移动ad Hoc网络路由协议
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:Ad-hoc网络的优先级感知动态路由协议
机译:允许基于特征的参数建模和直接建模共存的3D CAD建模方法,程序和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。