( en | de | ru )

 

Disambiguierung von "Koo, Tak-John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mode Switching Synthesis for Reachability Specifications.

, , und . HSCC, Volume 2034 von Lecture Notes in Computer Science, Seite 333-346. Springer, (2001)

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.

Jaetaek Tak

Namil Koo

Tepui Koo

Namil Koo

Terry Koo

 

Weitere Publikationen von Autoren mit dem selben Namen

Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots., , und . ICRA, Seite 2182-2187. IEEE, (2006)Vision Based Navigation for an Unmanned Aerial Vehicle., , , und . ICRA, Seite 1757-1764. IEEE, (2001)Hybrid system design for formations of autonomous vehicles., , und . CDC, Seite 1-6. IEEE, (2003)Optimization-based formation reconfiguration planning for autonomous vehicles., , und . ICRA, Seite 3758-3763. IEEE, (2003)Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems., , , , , und . EMSOFT, Volume 2491 von Lecture Notes in Computer Science, Seite 32-45. Springer, (2002)Mode Switching Synthesis for Reachability Specifications., , und . HSCC, Volume 2034 von Lecture Notes in Computer Science, Seite 333-346. Springer, (2001)Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach., , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 114-128. Springer, (2005)Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems., und . HSCC, Volume 2289 von Lecture Notes in Computer Science, Seite 281-293. Springer, (2002)A Semantic Anchoring Infrastructure for the Design of Embedded Systems., , , und . COMPSAC (1), Seite 287-294. IEEE Computer Society, (2007)Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software., , , und . EMSOFT, Volume 2211 von Lecture Notes in Computer Science, Seite 344-360. Springer, (2001)