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
Recommended MA Supervisor

版权所有：西安电子科技大学　陕ICP备05016463号

Click :times
  • MOBILE Version
    •
    The Last Update Time: . .

    Mobile phone sweep
    Baidu
    map