Seo Ryong Koo

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

5EESeo 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
4EEMyung 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
3 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
2 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
1EESeo 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)

Coauthor Index

1Sung Deok Cha [2] [5]
2Hyun-chul Han [2]
3Poong-Hyun Seong [1] [2] [3] [4] [5]
4Han Seong Son [1]
5Myung Jun Song [3] [4]
6Junbeom Yoo [2]
7Cheong Youn [2]

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