当前位置：主页 >成果转化

系统可信性自动验证

日期：2015-07-07 录入：admin

该项目负责人为西南交通大学数学学院徐扬教授。

成果转化

最新文章

	成都西南交大研究院有限公司关于2019年度四川省科技进步奖（自然科学类）申报的公示[2019-4-18]
	成都西南交大研究院有限公司关于“一种具有防再狭窄涂层的血管支架及其制备方法”等10项专利转让的公示[2019-3-14]
	成都西南交大研究院有限公司关于““机车车辆轮对外形尺寸在线动态检测装置”等18项专利转让的公示[2018-12-26]
	车载探地雷达项目介绍[2018-1-19]
	系统可信性自动验证[2015-7-7]
	列车关键部件动态检测系统技术[2015-7-7]