刘志刚 吴新玲 宗丽苹 孟小华 郭秀萍 张云生 龚振和 刘余 尹恒 林云松 彭良福 卢英 李炜 周晓宇 丁茂顺

参数空间 嵌入式操作系统 同构 等价状态对 第四代语言 系统状态 时序电路 用户接口管理 交互系统 数据识别 网关程序 任务分解 交互语言 串口通信 多任务 形式说明 通讯管理系统 实验 软件模型 嵌入式系统 实时监控 状态模式 类型传播图 多媒体对象 表控输入 设计模式 ARINC735A协议 中性消息语言 数据译码 自动判错