徐建中 宫闽军 苏运霖 潘晓弘 陈培里 周继烈 倪益华 周晓军 李凌

软件工具 逻辑程序设计 形式描述技术 人工智能 Petri网 虚拟传感器 通信协议 规范说明语言 检测系统 文件 接口 工程训练 计算机网络 实践教学 通信有限状态机 Pctri网 Horn子句 设备栈 数据结构 知识点 逻辑学 驱动程序 创新能力 服务规范说明

暨南大学计算机科学系 浙江杭州 浙江大学现代制造工程研究所