( en | de | ru )

 

Disambiguierung von "Doan, Ha Thi Thu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking of a Mobile Robots Perpetual Exploration Algorithm.

, , und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 201-219. (2016)

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.

Thi Thu Loan Doan

Thu-Ha Dao-Thi

Thi Thu Ha Chu

Thi Thu Ha Mai

Thu-Ha Phung-Thi

 

Weitere Publikationen von Autoren mit dem selben Namen

Specifying and Model Checking Distributed Control Algorithms at Meta-level., und . Comput. J., 65 (12): 2998-3019 (2022)A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property., und . Comput. Informatics, 38 (5): 1009-1038 (2019)An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms., , und . SSS, Volume 11914 von Lecture Notes in Computer Science, Seite 111-126. Springer, (2019)A Typed Programmatic Interface to Contracts on the Blockchain., und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 222-240. Springer, (2021)Fusion of edge detection and graph neural networks to classifying electrocardiogram signals., , , und . Expert Syst. Appl., (September 2023)Towards Contract Modules for the Tezos Blockchain (Short Paper)., und . FMBC@CAV, Volume 95 von OASIcs, Seite 5:1-5:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)