中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Current position:
Home
>>
Scientific Research
曹子宁
Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Scientific Research
Research Field
No content
Paper Publications
More>>
Cao Zi Ning.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
Cao Zi Ning.Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking.The 17 th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications.2019
Cao Zi Ning.一种基于遗传算法的概率假设-保证验证方法与实现.南京邮电大学学报.2019
Cao Zi Ning.A Specification with Performance Evaluation for Probabilistic Timed Automata.2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE).2017
Cao Zi Ning.一种基于并发的AADL建模方法.计算机与现代化.2017
Cao Zi Ning.A PSO-Based CEGAR Framework for Stochastic Model Checking.Int. J. Software Engineer. Knowledge Engineer..2019
Patents
No content
Published Books
No content
Research Projects
No content
