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

模型检测中的CTL形式化描述模板

Release time:2024-02-28  Hits:

  • Journal:哈尔滨工程大学学报
  • Volume:4
  • Page Number:483-487
  • ISSN No.:1006-7043
  • Translation or Not:no
  • Date of Publication:2013
Pre One:基于克雷格插值的反例理解方法
Next One:Design and Research of the Authority Control Based on Creation Role