王汝凉 张勐 黄文明 高衿畅 徐周波 李文敬 李凤英 周春晖

时态逻辑 计算思维 学习 符号模型检验 嵌入式系统 区间速率连续Petri网 赋时有界Petri网 协作

广西桂林 西安电子科技大学七系 广西师范学院信息技术系 桂林电子科技大学计算机系 桂林电子科技大学计算机学院 浙江大学工业控制技术研究所 西安电子科技大学电子工程学院 桂林电子科技大学计算机与控制学院