Click:   The Last Update Time:--
中文

Faculty Profile

  • Home
  • Scientific Research
    • Research Fields
    • Paper Publications
    • Patents
    • Published Books
    • Research Projects
  • Teaching Research
    • Teaching Resources
    • Teaching Information
    • Teaching Achievements
  • Awards and Honours
  • Enrollment Information
  • Student Information
  • My Album
  • Blog

CZY

  • Associate Professor
  • Supervisor of Master's Candidates
  • Name (Pinyin):CZY
  • School/Department:计算机科学与技术学院（电子政务建模仿真国家工程实验室）、国家保密学院、软件学院
  • Degree:Doctoral Degree in Engineering
  • Professional Title:Associate Professor
  • Status:Employed
  • Teacher College:College of Computer Science and Technology
Contact Information

    No content

  • Paper Publications

A fast approach of locating complex system design errors

Release time:2024-02-29  Hits:

  • Journal:Key Engineering Materials
  • Volume:1
  • Page Number:115-118
  • ISSN No.:1013-9826
  • Translation or Not:no
  • Date of Publication:2014
Pre One:The property verification methods of complex stochastic system based on directed graph
Next One:基于克雷格插值的反例理解方法