登录
Xidian University
中文
pIr
3Lx
uLL
xNg
6pW
5sW
32H
tMl
BeM
70I
gjE
BAQ
z75
DP9
oIf
Kmq
UnK
eJD
sWY
0cs
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
>> Research Focus
Venture
Personal Information
Lecturer Supervisor of Master's Candidates
Research Focus
Formal methods
Artificial Intelligence Enabling Software Development and Verification
Software Analysis and Testing
可信软件的基础理论与方法
High Trust Software Engineering Technology
