( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraction of Elementary Hybrid Systems by Variable Transformation.

, , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 360-377. Springer, (2015)

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

 

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

An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2015)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP., , и . TAMC, том 7287 из Lecture Notes in Computer Science, стр. 72-83. Springer, (2012)Decidability of the Reachability for a Family of Linear Vector Fields., , , , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 482-499. Springer, (2015)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)Connection between logical and algebraic approaches to concurrent systems.. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , и . ICTAC, том 4711 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2007)Formal Modelling, Analysis and Verification of Hybrid Systems., , и . ICTAC Training School on Software Engineering, том 8050 из Lecture Notes in Computer Science, стр. 207-281. Springer, (2013)Differential Games Based on Invariant Sets Generation., , , , и . ACC, стр. 1285-1292. IEEE, (2022)Abstraction of Elementary Hybrid Systems by Variable Transformation., , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 360-377. Springer, (2015)