( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameter Synthesis Problems for one parametric clock Timed Automata.

, , , , , и . CoRR, (2018)

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.

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

Xiaoying Zhan

 

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

Connection between logical and algebraic approaches to concurrent systems.. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations., , , и . CoRR, (2018)Parameter Synthesis Problems for one parametric clock Timed Automata., , , , , и . CoRR, (2018)An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2015)Quantum Hoare Logic., , , , , , , и . Arch. Formal Proofs, (2019)Formalising Scheduling Theories in Duration Calculus., и . Nord. J. Comput., 14 (3): 173-201 (2008)Decidability of the Reachability for a Family of Linear Vector Fields., , , , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 482-499. Springer, (2015)Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems., , , и . J. Systems Science & Complexity, 30 (1): 234-252 (2017)Combining Hierarchical Specification with Hierarchical Implementation.. ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2003)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 65-92. Springer, (2016)