电脑体验，效果更佳

舒新峰图谱-自然科学领域：

相关人员

段振华

研究领域

系统建模 定理证明 调度验证 进程调度 投影时序逻辑 形式化验证 公交查询 交通网络

所属机构

西安邮电学院计算机系 西安电子科技大学计算理论与技术研究所

标签云