...程序推理方法 可达性 的应用 – 流程图程序 部分正确 程序推理方法 – 结构化程序 完全正确 的特点 模型检测 – 基于路径(PLTL) 模型检测方法 – 基于状态(CTL) 的应用 模型检测方法 的特点 17 推理验证 一阶迁移系统 – 程序推理规则 – 线性时序逻辑推理...
基于8个网页-相关网页
基于路径动画 Path-based animations
基于策略路径优化技术 Policy Based Mutipath ; PBM
针对基于拟关键路径法 Allied critical path method
Existing multicast routing algorithms can be classified as unicast-based, path-based and tree-based.
现有的多目传播路由算法可分为基于单目传播,基于路径和基于树的。
参考来源 - Wormhole·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐