( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reusing Formal Models via Lifting.

, , , и . ICECCS, стр. 189-192. IEEE Computer Society, (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.

Son Thai Mai

Doan Thai Son

Tang-Thai Hoang

Hoang-Pham Thai

Hoang-Son Pham

 

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

The Hybrid ERTMS/ETCS Level 3 Case Study., , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 251-261. Springer, (2018)Formal System Modelling Using Abstract Data Types in Event-B., , , , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 222-237. Springer, (2014)Refinement by Interface Instantiation., и . ABZ, том 7316 из Lecture Notes in Computer Science, стр. 223-237. Springer, (2012)Probabilistic Invariants for Probabilistic Machines., , , , и . ZB, том 2651 из Lecture Notes in Computer Science, стр. 240-259. Springer, (2003)Refinable Record Structures in Formal Methods., , , , и . MEDI Workshops, том 1481 из Communications in Computer and Information Science, стр. 3-15. Springer, (2021)Domain-Specific Scenarios for Refinement-Based Methods., , , и . MEDI Workshops, том 1085 из Communications in Computer and Information Science, стр. 18-31. Springer, (2019)Refinement of Statecharts with Run-to-Completion Semantics., , , , и . FTSCS, том 1008 из Communications in Computer and Information Science, стр. 121-138. Springer, (2018)Reusing Formal Models via Lifting., , , и . ICECCS, стр. 189-192. IEEE Computer Society, (2018)An AIC-based approach for articulating unpredictable problems in open complex environments., , и . CoRR, (2024)AIC Approach for Intelligent Systems Requirements Elicitation., , и . ICSRS, стр. 570-579. IEEE, (2023)