( en | de | ru )

 

Disambiguation of "Cao, Zining"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Dependability Features for Real-Time Embedded Systems.

, , , and . IEEE Trans. Dependable Secur. Comput., 12 (2): 190-203 (2015)

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.

Jingjing Cao

Yang Cao

Yude Cao

Hong Cao

Weixun Cao

 

Other publications of authors with the same name

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra., , , and . Int. J. Softw. Eng. Knowl. Eng., 34 (1): 49-89 (January 2024)Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic., , , , and . Int. J. Softw. Eng. Knowl. Eng., 33 (5): 787-814 (2023)A Spatial Logical Characterisation of Context Bisimulation.. ASIAN, volume 4435 of Lecture Notes in Computer Science, page 231-239. Springer, (2006)Performance modeling and quantitative evaluation for cyber-physical systems based on LTS., , and . J. Supercomput., 80 (4): 5616-5653 (March 2024)Model Checking LOOP Programs.. Software Engineering Research and Practice, page 534-542. CSREA Press, (2010)Modeling Cost-Aware Web Services Composition Using PTCCS., , , , and . ICWS, page 461-468. IEEE Computer Society, (2009)A Calculus of Higher Order Safe Ambients and Its Bisimulations.. TASE, page 93-100. IEEE Computer Society, (2012)Hybrid ZIA and its Approximated Refinement Relation., and . ENASE, page 260-265. SciTePress, (2011)Refinement Checking for Multirate Hybrid ZIA., , and . CoRR, (2014)Counterexample generation in CPS model checking based on ARSG algorithm., , , and . Int. J. Comput. Sci. Eng., 24 (3): 312-321 (2021)