( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preface.

, , и . J. Comput. Sci. Technol., 36 (6): 1229-1230 (2021)

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.

Qi Qin

Gang Qin

Minghao Qin

Qin Wang

Qin Li

 

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

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