信息门户
阳光服务
办公自动化
教务管理系统
科研管理系统
数字图书馆
学校概况
学校简介
学校章程
历史沿革
现任领导
学校标志
校园风光
组织机构
党政机构
教学机构
群团机构
直属机构
附属机构
教育教学
本科生教育
研究生教育
继续教育
科学研究
科研动态
科研平台
学术期刊
学科建设
省“双一流”
应用特色学科
校级应用
特色学科
学科带头人
学科建设
师资队伍
师资概况
政策导航
招贤纳才
项目申报
培训提高
教师风采
温馨之家
招生就业
招生信息
就业信息
创新创业
国际交流
国际交流与合作
国际学院
信息公开
公共服务
图书馆
校友联络
档案馆
后勤服务中心
办公电话
校历
工资查询
学校动态
焦点图片
学校新闻
通知公告
校内新闻
媒体报道
理论前沿
学术交流
学术交流
首页
>
学校动态
>
学术交流
形式化验证在IC设计中的应用
来源：信息工程学院
时间：2018-07-03
湘公网安备43050302000146号
