Search the dblp DataBase

Publications of Author

1. Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha
   Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). [Citation Graph (0, 0)][DBLP]
   HASE, 2004, pp:283-284 [Conf]
   
2. Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong
   Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. [Citation Graph (0, 0)][DBLP]
   HASE, 2004, pp:285-286 [Conf]
   
3. Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han
   An integrated environment of S/W specification and V&V for safety-critical systems. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering, 2004, pp:607-612 [Conf]
   
4. Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong
   Verification method for the FBD-style design specification using SDT and SMV. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering, 2004, pp:206-211 [Conf]
   
5. Kee-Choon Kwon, Jin-Hyung Kim, Poong-Hyun Seong
   Hidden Markov model-based real-time transient identifications in nuclear power plants. [Citation Graph (0, 0)][DBLP]
   Int. J. Intell. Syst., 2002, v:17, n:8, pp:791-811 [Journal]
   
6. Seo Ryong Koo, Han Seong Son, Poong-Hyun Seong
   A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2003, v:67, n:3, pp:213-224 [Journal]
   
7. Chang Sik Yoo, Poong-Hyun Seong
   Experimental analysis of specification language diversity impact on NPP software diversity. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2002, v:62, n:2, pp:111-122 [Journal]
   
8. Hyun Gook Kang, Poong-Hyun Seong
   Information theoretic approach to man-machine interface complexity evaluation. [Citation Graph (0, 0)][DBLP]
   IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2001, v:31, n:3, pp:163-171 [Journal]