( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counterexample Generation for Probabilistic Timed Automata Model Checking.

, , , и . CSSE (2), стр. 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.

Yang Cao

Jingjing Cao

Yude Cao

Hong Cao

Weixun Cao

 

Другие публикации лиц с тем же именем

Extending Interface Automata with Z Notation., и . FSEN, том 7141 из Lecture Notes in Computer Science, стр. 359-367. Springer, (2011)Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic., , и . International Journal of Software Engineering and Knowledge Engineering, 26 (7): 1117-1144 (2016)Counterexample generation in CPS model checking based on ARSG algorithm., , , и . Int. J. Comput. Sci. Eng., 24 (3): 312-321 (2021)A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm., , и . IEEE Access, (2019)Refinement Checking for Multirate Hybrid ZIA., , и . CoRR, (2014)Hybrid ZIA and its Approximated Refinement Relation., и . ENASE, стр. 260-265. SciTePress, (2011)Bisimulations for a Distributed Higher Order pi -Calculus.. ICTAC, том 4711 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2007)A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm., , , , и . ISKE, стр. 95-100. IEEE, (2021)A Spatial Logical Characterisation of Context Bisimulation.. ASIAN, том 4435 из Lecture Notes in Computer Science, стр. 231-239. Springer, (2006)Model Checking LOOP Programs.. Software Engineering Research and Practice, стр. 534-542. CSREA Press, (2010)