( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
DeepSaucer: Unified Environment for Verifying Deep Neural Networks.

, , , , , , и . 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.

Doan Thai Son

Son Thai Mai

Tang-Thai Hoang

Hoang-Pham Thai

Hoang-Son Pham

 

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

Reusing Formal Models via Lifting., , , и . ICECCS, стр. 189-192. IEEE Computer Society, (2018)Refinement of Statecharts with Run-to-Completion Semantics., , , , и . FTSCS, том 1008 из Communications in Computer and Information Science, стр. 121-138. Springer, (2018)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)Probabilistic Invariants for Probabilistic Machines., , , , и . ZB, том 2651 из Lecture Notes in Computer Science, стр. 240-259. Springer, (2003)Refinement by Interface Instantiation., и . ABZ, том 7316 из Lecture Notes in Computer Science, стр. 223-237. Springer, (2012)Formal System Modelling Using Abstract Data Types in Event-B., , , , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 222-237. Springer, (2014)The Hybrid ERTMS/ETCS Level 3 Case Study., , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 251-261. Springer, (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)