登录
Xidian University
中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Current position:
Wencheng
>>
Home
Venture
Personal Information:
Lecturer graduate teacher
Research Focus
Artificial Intelligence Enabling Software Development and Verification
Formal methods
Software Analysis and Testing
可信软件的基础理论与方法
High Trust Software Engineering Technology