( en | de | ru )

 

Disambiguierung von "Zhao, Lingzhong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net).

, , und . 计算机科学, 42 (10): 244-250 (2015)

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.

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Ruoyao Zhao

Li Zhao

Fei Zhao

 

Weitere Publikationen von Autoren mit dem selben Namen

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star., , , und . ICCSA (2), Volume 9787 von Lecture Notes in Computer Science, Seite 331-343. Springer, (2016)IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment., , , , , und . Sensors, 20 (8): 2294 (2020)MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users., , , und . ICAIS (1), Volume 12239 von Lecture Notes in Computer Science, Seite 682-694. Springer, (2020)A Family of Dynamic Description Logics for Representing and Reasoning About Actions., , , und . J. Autom. Reason., 49 (1): 1-52 (2012)A mathematical programming method for constructing the shortest interconnection VLSI arrays., , , und . Integr., (2021)An ASP based method for subassembly identification., , , , und . ROBIO, Seite 1317-1322. IEEE, (2009)An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray., , , , , und . Integr., (2020)基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net)., , und . 计算机科学, 42 (10): 244-250 (2015)Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction., , und . ICCS, Volume 9 von Procedia Computer Science, Seite 1363-1370. Elsevier, (2012)SmartCamera: Realtime Video Stream-Oriented Action Recognition Platform in Edge Environment., , , , , und . UbiComp/ISWC Adjunct, Seite 88-89. ACM, (2021)