古天龙 赵岭忠 谢春光 董荣胜 高济 庞健雄 黄勇 李优 郭云川 廖伟志 林煜明 王雪松 王晓贺 彭勋 朱炎 李红霞 曹双进 钱俊彦

分布式实时调度 访问控制 间歇过程 面向对象 策略建模 多主体系统 授权策略 政策 离散事件系统 SMV 符号模型验证 验证 自治主体 设计规约 义务策略 形式化方法 形式模型 电子机构 时间戳服务器 调度 系统依赖图 环境演算 分布式实时系统 电子商务协议 约束转换 进程代数 原子性 自配置 谓词公式 回答集程序设计

桂林电子工业学院计算机系 桂林电子科技大学计算机与控制学院 桂林电子工业学院计算机学院 浙江大学计算机与软件学院 浙江杭州 桂林电子科技大学 西安电子科技大学电子工程学院 计算机与控制学院