吕智慧 刘晓明 谢李蓉 石昆 杨洋 邓锋 宋瑾钰 徐惠民 林孝康 潘红艳 江魁 李松年 于全 高强 赵静峰 林庆 蒙移发 龚巧华 张力军 张世永 潘胜发 黄云森 李伟 魏仰苏

设计 仿真 系统规范 通信扩展有限状态机 测试集 元进程 跨平台 多媒体 验证 移动Ad-hoc网 形式化 无线局域网 MAC协议 MPLS 路由协议 OSPF GTK 一致性测试 SIP协议 Bluetooth Linux 网络教学 形式化建模 BGP4 PPP 测试方法 有限状态机 L2CAP μCOS-II