Major:Computer Applied Technology

Education Level:With Certificate of Graduation for Study as Master's Candidates

Degree:Master's Degree

Current Status:Graduated

Graduation Thesis Title:基于模型检测的软件可靠性验证方法

Date of Registration:2011-09-01

Date of Graduation:2014-06-26