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

相关作者

黄谦
作品数：4被引量：12H指数：1
供职机构：武汉大学计算机学院软件工程国家重点实验室
研究主题：Z语言 过程描述语言 形式描述语言 软件工程 分布式技术
彭明田
作品数：3被引量：6H指数：2
供职机构：中国科学技术大学研究生院
研究主题：多媒体计算机 分布式 多媒体通信 中远程 远程过程调用
彭向荣
作品数：1被引量：0H指数：0
供职机构：武汉水运工业学校
研究主题：过程控制 形式语言 形式描述语言
房鼎益
作品数：585被引量：858H指数：12
供职机构：西北大学
研究主题：无线传感器网络 被动式 网络 感知 鲁棒性
郑国梁
作品数：148被引量：847H指数：16
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计