Poong-Hyun Seong

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EESeo 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). HASE 2004: 283-284
7EEMyung Jun Song, Seo Ryong Koo, Poong-Hyun Seong: Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. HASE 2004: 285-286
6 Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong: Verification method for the FBD-style design specification using SDT and SMV. IASTED Conf. on Software Engineering 2004: 206-211
5 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. IASTED Conf. on Software Engineering 2004: 607-612
4EESeo 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. Journal of Systems and Software 67(3): 213-224 (2003)
3 Kee-Choon Kwon, Jin-Hyung Kim, Poong-Hyun Seong: Hidden Markov model-based real-time transient identifications in nuclear power plants. Int. J. Intell. Syst. 17(8): 791-811 (2002)
2EEChang Sik Yoo, Poong-Hyun Seong: Experimental analysis of specification language diversity impact on NPP software diversity. Journal of Systems and Software 62(2): 111-122 (2002)
1 Hyun Gook Kang, Poong-Hyun Seong: Information theoretic approach to man-machine interface complexity evaluation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 31(3): 163-171 (2001)

Coauthor Index

1Sung Deok Cha [5] [8]
2Hyun-chul Han [5]
3Hyun Gook Kang [1]
4Jin-Hyung Kim [3]
5Seo Ryong Koo [4] [5] [6] [7] [8]
6Kee-Choon Kwon [3]
7Han Seong Son [4]
8Myung Jun Song [6] [7]
9Chang Sik Yoo [2]
10Junbeom Yoo [5]
11Cheong Youn [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)