Jae Yeon Jo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim: Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 2011: 112-121
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo: A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. SSIRI (Companion) 2011: 68-75

Coauthor Index

1Sung Deok Cha
[c2]
2Han Choi
[c2]
3Won-Tae Kim
[c2]
4Hae Young Lee
[c2]
5Junbeom Yoo
[c2] [c1]
6Sanghyun Yoon
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 10:44:24 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page