File Download
There are no files associated with this item.
SFX Link
- Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)
- Yi, Jooyong
- Programming Languages and Software Engineering Lab.
Views & Downloads
Detailed Information
Cited time in 
Cited time in 
Cited time in
Metadata Downloads
Case Study on Development Methodology of Safety-Critical System Using Formal Method
- Author(s)
- Sung, ChangHun, Yi, Jooyong, Lee, Na-Young, Choi, Jin-Young
- Issued Date
- 2001-00
- Citation
- KIPS (Korea Information Processing Society) 2001 Conference
- Publisher
- Korea Information Processing Society
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.