( en | de | ru )

 

Disambiguation of "Cho, Seung Mo"

Author of the publication

copydeleteadd this publication to your clipboard
Applying Model Checking to Concurrent Object-Oriented Software.

, , , , , and . ISADS, page 380-383. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Seung-Mo Lee

Seung-Hak Cho

Jung-Hun Seung

Mo Zhong

Ce Mo

 

Other publications of authors with the same name

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning., and . MoChArt, volume 4428 of Lecture Notes in Computer Science, page 84-94. Springer, (2006)Safety Analysis Using Coloured Petri Nets., , and . APSEC, page 176-193. IEEE Computer Society, (1996)Applying Model Checking to Concurrent Object-Oriented Software., , , , , and . ISADS, page 380-383. IEEE Computer Society, (1999)An OpenCL framework for heterogeneous multicores with local memory., , , , , , , , , and 4 other author(s). PACT, page 193-204. ACM, (2010)OpenCL and parallel primitives for digital TV applications., , , , , , and . IBM J. Res. Dev., 54 (5): 7 (2010)Parallelization and analysis of speech recognition on mobile multi-core processor., , and . CCNC, page 1-2. IEEE, (2009)Frequent and Automatic Update of Lane-Level HD Maps with a Large Amount of Crowdsourced Data Acquired from Buses and Taxis in Seoul., , , , and . Sensors, 23 (1): 438 (2023)Lightweight Specification-based Testing of Memory Cards: A Case Study., and . MBT, volume 111 of Electronic Notes in Theoretical Computer Science, page 73-91. Elsevier, (2004)A semantics of sequence diagrams., , , and . Inf. Process. Lett., 84 (3): 125-130 (2002)Extending the SCR Method for Real-Time Systems., , , and . Real Time Syst., 20 (1): 27-49 (2001)