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,Computer Modelling and New Technologies,2014,1:38-43
- A fast approach of locating complex system design errors,Key Engineering Materials,2014,1:115-118
- 基于克雷格插值的反例理解方法,吉林大学学报. 理学版,2013,1:94-100
- 模型检测中的CTL形式化描述模板,哈尔滨工程大学学报,2013,4:483-487
- Design and Research of the Authority Control Based on Creation Role,2015 EIGHTH INTERNATIONAL CONFERENCE ON INTERNET COMPUTING FOR SCIENCE AND ENGINEERING (ICICSE),2015,:11-14
- Design and Research of the Authority Control Based on Creation Role,2015 EIGHTH INTERNATIONAL CONFERENCE ON INTERNET COMPUTING FOR SCIENCE AND ENGINEERING (ICICSE),2015,:11-14
| |