코드기반 모델 체킹 방법의 연구 동향
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김태효 | ko |
| dc.contributor.author | 차성덕 | ko |
| dc.date.accessioned | 2013-03-03T11:51:07Z | - |
| dc.date.available | 2013-03-03T11:51:07Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 2002-06 | - |
| dc.identifier.citation | 소프트웨어공학지, v.15, no.2, pp.3 - 16 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/78538 | - |
| dc.language | Korean | - |
| dc.publisher | 정보과학회 | - |
| dc.title | 코드기반 모델 체킹 방법의 연구 동향 | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 15 | - |
| dc.citation.issue | 2 | - |
| dc.citation.beginningpage | 3 | - |
| dc.citation.endingpage | 16 | - |
| dc.citation.publicationname | 소프트웨어공학지 | - |
| dc.contributor.nonIdAuthor | 김태효 | - |
- Appears in Collection
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.