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

基于克雷格插值的反例理解方法

Release time:2024-02-28  Hits:

  • Journal:吉林大学学报. 理学版
  • Volume:1
  • Page Number:94-100
  • ISSN No.:1671-5489
  • Translation or Not:no
  • Date of Publication:2013
Pre One:A fast approach of locating complex system design errors
Next One:模型检测中的CTL形式化描述模板