搜索到 篇“ 形式化描述技术 “的相关文章

相关作者

顾翔
作品数：173被引量：176H指数：7
供职机构：南通大学
研究主题：车联网 结点 无线传感器网络 移动代理 RSL
赵静
作品数：10被引量：14H指数：3
供职机构：中国科学技术大学
研究主题：RSL 通信协议 形式化描述技术 协议形式化 计算机网络
艾波
作品数：56被引量：438H指数：9
供职机构：北京邮电大学计算机学院
研究主题：软件体系结构 电信运营支撑系统 SDL 面向对象 抽象状态机
琚川徽
作品数：7被引量：12H指数：2
供职机构：安徽大学计算机科学与技术学院计算智能与信号处理教育部重点实验室
研究主题：形式化描述技术 形式化描述 系统开发 通信软件 I
王颖
作品数：50被引量：159H指数：6
供职机构：中国人民解放军信息工程大学
研究主题：网络虚拟化 管理信息模型 信息模型 虚拟网络 负载均衡