( en | de | ru )

 

Disambiguierung von "Cao, Zining"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm.

, , , , und . ISKE, Seite 95-100. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yang Cao

Jingjing Cao

Yude Cao

Hong Cao

Weixun Cao

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling Dependability Features for Real-Time Embedded Systems., , , und . IEEE Trans. Dependable Secur. Comput., 12 (2): 190-203 (2015)Refinement Checking for Interface Automata with Z Notation.. SEKE, Seite 399-404. Knowledge Systems Institute Graduate School, (2010)Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.. Intelligent Information Processing, Volume 228 von IFIP, Seite 63-72. Springer, (2006)LRx: Specification Mining based on Logistic Regression., und . ICMSS, Seite 68-72. ACM, (2020)Counterexample Generation for Probabilistic Timed Automata Model Checking., , , und . CSSE (2), Seite 210-214. IEEE Computer Society, (2008)978-0-7695-3336-0.A security type verifier for smart contracts., , , , , und . Comput. Secur., (2021)AADL and Modelica model combination and model conversion based on CPS., , , und . EITCE, Seite 1136-1140. ACM, (2020)A True Concurrent Process Calculus and Its Conflict Bisimulation.. SNPD, Seite 475-480. IEEE Computer Society, (2009)Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice.. TASE, Seite 213-220. IEEE Computer Society, (2013)Distributed Viewpoint Equivalences for Higher Order Processes.. CSIE (7), Seite 792-796. IEEE Computer Society, (2009)