Search the dblp DataBase

Publications of Author

1. 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]
   
2. Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
   Control and Data Flow Testing on Function Block Diagrams. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2005, pp:67-80 [Conf]
   
3. J. Yoo, S. Cha, H. S. Son, C. H. Kim, J.-S. Lee
   PLC-Based Safety Critical Software Development for Nuclear Power Plants. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:155-165 [Conf]
   
4. Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
   NuEditor - A Tool Suite for Specification and Verification of NuSCR. [Citation Graph (0, 0)][DBLP]
   SERA, 2004, pp:19-28 [Conf]
   
5. Junbeom Yoo, Taihyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son
   A formal software requirements specification method for digital nuclear plant protection systems. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2005, v:74, n:1, pp:73-83 [Journal]
   
6. 
   A Verification Framework for FBD Based Software in Nuclear Power Plants. [Citation Graph (, )][DBLP]
   
   
7. 
   Testing of Timer Function Blocks in FBD. [Citation Graph (, )][DBLP]
   
   
8. 
   Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems. [Citation Graph (, )][DBLP]