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
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.citation.conferencePlace | KO | - |
| dc.citation.title | KIPS (Korea Information Processing Society) 2001 Conference | - |
| dc.contributor.author | Sung, ChangHun | - |
| dc.contributor.author | Yi, Jooyong | - |
| dc.contributor.author | Lee, Na-Young | - |
| dc.contributor.author | Choi, Jin-Young | - |
| dc.date.accessioned | 2023-12-20T06:36:20Z | - |
| dc.date.available | 2023-12-20T06:36:20Z | - |
| dc.date.created | 2019-03-04 | - |
| dc.date.issued | 2001-00 | - |
| dc.identifier.bibliographicCitation | KIPS (Korea Information Processing Society) 2001 Conference | - |
| dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/35857 | - |
| dc.language | 영어 | - |
| dc.publisher | Korea Information Processing Society | - |
| dc.title | Case Study on Development Methodology of Safety-Critical System Using Formal Method | - |
| dc.type | Conference Paper | - |
| dc.date.conferenceDate | 2001 | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.