( en | de | ru )

 

Disambiguierung von "Qin, Shengchao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preface.

, , und . J. Comput. Sci. Technol., 36 (6): 1229-1230 (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.

Qi Qin

Qin Wang

Gang Qin

Minghao Qin

Qin Li

 

Weitere Publikationen von Autoren mit dem selben Namen

Language Inclusion Checking of Timed Automata with Non-Zenoness., , , und . IEEE Trans. Software Eng., 43 (11): 995-1008 (2017)A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 293-309. Springer, (2011)A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm., , und . ICFEM, Volume 5256 von Lecture Notes in Computer Science, Seite 126-146. Springer, (2008)Automated Modular Verification for Relaxed Communication Protocols., , , und . APLAS, Volume 11275 von Lecture Notes in Computer Science, Seite 284-305. Springer, (2018)基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL)., , , , und . 计算机科学, 43 (9): 124-130 (2016)Preface., , und . J. Comput. Sci. Technol., 36 (6): 1229-1230 (2021)Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement., , , und . IEEE Trans. Software Eng., 47 (1): 189-203 (2021)Preface to Special Issue on Analysis and Verification of Intelligent Systems., , und . Int. J. Softw. Informatics, 12 (4): 351-353 (2022)A UTP semantics for communicating processes with shared variables and its formal encoding in PVS., , , , , und . Formal Aspects Comput., 30 (3-4): 351-380 (2018)Termination and non-termination specification inference., , und . PLDI, Seite 489-498. ACM, (2015)