陈宏志 罗友发 金迪 高捷 顾子明 姚振强 曾海燕 周丽 曾光裕 樊敏 易定 童小娇 龚红仿 闫士杰 李清宝 张雪萍 李腊元 杨树群 李军义 邵东瑞 屈玉贵 包东飞

可编程控制器 模式匹配 状态加全 IC卡 UML 梯形图 EFSM 有限状态机 嵌套状态机 通信协议 状态转移矩阵 路径搜索 程序结构 断路器 PLC程序 类的状态测试 嵌入式系统 余3码 控制系统 LPN 轿车密封条生产线 并行性 混合模型 可编程控制器 子功能模块 生化法 形式描述技术 描述模型 界面 有限自动机

可编程控制器