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

相关作者

张广泉
作品数：234被引量：712H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
史建琦
作品数：147被引量：7H指数：2
供职机构：华东师范大学
研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
顾翔
作品数：173被引量：176H指数：7
供职机构：南通大学
研究主题：车联网 结点 无线传感器网络 移动代理 RSL
赵保华
作品数：223被引量：884H指数：16
供职机构：华为技术有限公司
研究主题：无线传感器网络 通信协议 TCL 无线局域网 路由协议
屈玉贵
作品数：179被引量：734H指数：15
供职机构：中国科学技术大学
研究主题：无线传感器网络 通信协议 传感器网络 TCL 路由