语言选择
English
首页
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学工作
教学资源
授课信息
教学成果
获得荣誉
获奖信息
招生信息
学生信息
我的相册
教师博客
已经得到
个称赞 给我点赞
学历：
博士研究生毕业
学位：
工学博士学位
办公地点：
西南交通大学犀浦校区X30615
所在单位：
数学学院
学科：
计算数学
应用数学
运筹学与控制论
研究方向
当前位置:
中文主页
>>研究方向
形式化验证、软件/协议/硬件可信性验证
形式化验证、软件/协议/硬件可信性验证
