|
Search the dblp DataBase
Seung Mo Cho:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha
Safety Analysis Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP] APSEC, 1996, pp:176-193 [Conf]
- Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim
Applying Model Checking to Concurrent Object-Oriented Software. [Citation Graph (0, 0)][DBLP] ISADS, 1999, pp:380-383 [Conf]
- Seung Mo Cho, Jae Wook Lee
Lightweight Specification-based Testing of Memory Cards: A Case Study. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:73-91 [Journal]
- Seung Mo Cho, H. H. Kim, Sung Deok Cha, Doo-Hwan Bae
Specification and validation of dynamic systems using temporal logic. [Citation Graph (0, 0)][DBLP] IEE Proceedings - Software, 2001, v:148, n:4, pp:135-140 [Journal]
- Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae
A semantics of sequence diagrams. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2002, v:84, n:3, pp:125-130 [Journal]
- Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon
Extending the SCR Method for Real-Time Systems. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 2001, v:20, n:1, pp:27-49 [Journal]
- Tadashi Araragi, Seung Mo Cho
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:84-94 [Conf]
Search in 0.002secs, Finished in 0.003secs
|