( en | de | ru )

 

Disambiguierung von "Kim, Moonjoo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.

, , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 212-232. Springer, (1999)

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)

Bongcheol Kim

Kim Gerber

Youngsang Kim

Ryong Kim

 

Weitere Publikationen von Autoren mit dem selben Namen

Wireless Signal Strength-Aware TCP-Friendly Rate Control in Mobile Networks., , , , und . ICWN, Seite 63-72. CSREA Press, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 212-232. Springer, (1999)Steering of real-time systems based on monitoring and checking., , , , und . WORDS (Fall), Seite 11-18. IEEE Computer Society, (1999)Verisim: Formal analysis of network simulations., , , , , , und . ISSTA, Seite 2-13. ACM, (2000)Monitoring, Checking, and Steering of Real-Time Systems., , , , und . RV@FLoC, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 95-111. Elsevier, (2002)Formally specified monitoring of temporal properties., , , , , und . ECRTS, Seite 114-122. IEEE Computer Society, (1999)Verisim: Formal Analysis of Network Simulations., , , , , , und . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC., , , , und . RV@FLoC, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 80-94. Elsevier, (2002)Collocation Map for Overcoming Data Sparseness., , und . EACL, Seite 53-59. The Association for Computer Linguistics, (1995)Java-MaC: a Run-time Assurance Tool for Java Programs., , , , und . RV@CAV, Volume 55 von Electronic Notes in Theoretical Computer Science, Seite 218-235. Elsevier, (2001)