Student ID:21217031

Major:Software Engineering

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

Degree:Master's Degree

Current Status:Graduated

Graduation Thesis Title: 基于STM嵌入式软件形式化建模及验证方法研究

Date of Registration:2012-09-01

Date of Graduation:2015-06-27