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

The property verification methods of complex stochastic system based on directed graph

Release time:2024-02-29  Hits:

  • Journal:Computer Modelling and New Technologies
  • Volume:1
  • Page Number:38-43
  • ISSN No.:1407-5806
  • Translation or Not:no
  • Date of Publication:2014
Next One:A fast approach of locating complex system design errors