( en | de | ru )

 

Disambiguierung von "Cho, Seung Mo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending the SCR Method for Real-Time Systems.

, , , und . Real Time Syst., 20 (1): 27-49 (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.

Seung-Mo Lee

Seung-Hak Cho

Jung-Hun Seung

Mo Zhong

Ce Mo

 

Weitere Publikationen von Autoren mit dem selben Namen

Extending the SCR Method for Real-Time Systems., , , und . Real Time Syst., 20 (1): 27-49 (2001)Parallelization and analysis of speech recognition on mobile multi-core processor., , und . CCNC, Seite 1-2. IEEE, (2009)Checking Liveness Properties of Concurrent Systems by Reinforcement Learning., und . MoChArt, Volume 4428 von Lecture Notes in Computer Science, Seite 84-94. Springer, (2006)Safety Analysis Using Coloured Petri Nets., , und . APSEC, Seite 176-193. IEEE Computer Society, (1996)An OpenCL framework for heterogeneous multicores with local memory., , , , , , , , , und 4 andere Autor(en). PACT, Seite 193-204. ACM, (2010)Applying Model Checking to Concurrent Object-Oriented Software., , , , , und . ISADS, Seite 380-383. IEEE Computer Society, (1999)