dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Cheol-Jung Yoo (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi-Hyun Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang: Component Contract-Based Formal Specification Technique. ICCSA (3) 2005: 836-845
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHye-Min Noh, Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang: Behavior Modeling Technique Based on EFSM for Interoperability Testing. ICCSA (3) 2005: 878-885
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang: Component Contract-Based Process for High Level Design. SNPD 2003: 6-11
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang: Component Contract-Based Interface Specification Technique Using Z. International Journal of Software Engineering and Knowledge Engineering 12(4): 453-469 (2002)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang: Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique. SIGPLAN Notices 37(6): 82-92 (2002)

Selection of 5 from 21 records - Cheol-Jung Yoo has 22 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page