Current position: Home >> Scientific Research >> Paper Publications

曹子宁

Personal Information

Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates

Paper Publications

[11]Cao Zi Ning,Liu, Yang,Cao Zi Ning,Ma, Yan,Liu, Yang.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm:IEEE ACCESS,2019
[12]Cao Zi Ning,Cao Zi Ning,Ma, Yan,Liu, Yang.A Specification with Performance Evaluation for Probabilistic Timed Automata:2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017
[13]Cao Zi Ning,Cao Zi Ning,李揭阳.一种基于并发的AADL建模方法:计算机与现代化,2017

total13 2/2

first previousnextlast Page