( en | de | ru )

 

Disambiguierung von "Kim, Moonzoo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100.

, , und . ICRA, Seite 4739-4744. IEEE, (2005)

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.

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Youngsang Kim

Sunghun Kim

Yongkyu Kim

Taekwan Kim

 

Weitere Publikationen von Autoren mit dem selben Namen

POWER: Program Option-Aware Fuzzer for High Bug Detection Ability., , , und . ICST, Seite 220-231. IEEE, (2022)Testing concurrent programs to achieve high synchronization coverage., , , , und . ISSTA, Seite 210-220. ACM, (2012)Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.. ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 489-500. Springer, (2007)Detecting Concurrency Errors in Client-Side Java Script Web Applications., , und . ICST, Seite 61-70. IEEE Computer Society, (2014)Automated unit testing of large industrial embedded software using concolic testing., , , , , und . ASE, Seite 519-528. IEEE, (2013)3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ., , , , , , und . ICRA, Seite 2903-2908. IEEE, (2005)CITRUS: Automated Unit Testing Tool for Real-world C++ Programs., , und . ICST, Seite 400-410. IEEE, (2022)Directed test suite augmentation: techniques and tradeoffs., , , , und . SIGSOFT FSE, Seite 257-266. ACM, (2010)SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study., und . APSEC (1), Seite 55-62. IEEE Computer Society, (2014)Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven., , , , und . ICSE (2), Seite 29-38. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).