大拱桥--暨南大学学生门户 » 图书馆 » 自动化技术计算技术技术 » 基于SPIN的OLSR路由协议形式化建模与验证 [硕士论文]
名称 基于SPIN的OLSR路由协议形式化建模与验证 [硕士论文]
索引号 TP/M2014/31
分类号 TP/M2014
TP(自动化技术计算技术技术)
T(工业技术)
作者 陈华伟 工程硕士、陈清亮、
出版社 广州 : 暨南大学, 2014
ISBN
页数 56页 : 图 ; 29cm
价格
标签
简介
注解 有书目 专业硕士:工程硕士;暨南大学,2014-06-24 计算机技术专业硕士 学位论文(硕士)