( en | de | ru )

 

Disambiguation of "Cao, Zining"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample Generation for Probabilistic Timed Automata Model Checking.

, , , and . CSSE (2), page 210-214. IEEE Computer Society, (2008)978-0-7695-3336-0.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yang Cao

Jingjing Cao

Yude Cao

Hong Cao

Weixun Cao

 

Other publications of authors with the same name

Refinement Checking for Multirate Hybrid ZIA., , and . CoRR, (2014)Extending Interface Automata with Z Notation., and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 359-367. Springer, (2011)Counterexample generation in CPS model checking based on ARSG algorithm., , , and . Int. J. Comput. Sci. Eng., 24 (3): 312-321 (2021)Hybrid ZIA and its Approximated Refinement Relation., and . ENASE, page 260-265. SciTePress, (2011)Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic., , and . International Journal of Software Engineering and Knowledge Engineering, 26 (7): 1117-1144 (2016)A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm., , and . IEEE Access, (2019)A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm., , , , and . ISKE, page 95-100. IEEE, (2021)Bisimulations for a Distributed Higher Order pi -Calculus.. ICTAC, volume 4711 of Lecture Notes in Computer Science, page 94-108. Springer, (2007)The Formal Transformation of AADL Based on Z-CoIA., and . ICCCS (2), volume 10603 of Lecture Notes in Computer Science, page 816-822. Springer, (2017)A Complete Probabilistic Belief Logic.. CLIMA, volume 4371 of Lecture Notes in Computer Science, page 80-94. Springer, (2006)