chenzhiyuan
|
- Associate Professor
- Supervisor of Master's Candidates
- Name (Pinyin):chenzhiyuan
- School/Department:计算机科学与技术学院（电子政务建模仿真国家工程实验室）、国家保密学院、软件学院
- Education Level:With Certificate of Graduation for Doctorate Study
- Degree:Doctoral Degree in Engineering
- Professional Title:Associate Professor
- Status:Employed
- Alma Mater:哈尔滨工程大学
- 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
| |