( en | de | ru )

 

Disambiguierung von "Hoang, Thai Son"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
DeepSaucer: Unified Environment for Verifying Deep Neural Networks.

, , , , , , und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Doan Thai Son

Son Thai Mai

Tang-Thai Hoang

Hoang-Pham Thai

Hoang-Son Pham

 

Weitere Publikationen von Autoren mit dem selben Namen

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