스테이트차트의 실시간 검증을 위한 모델체커의 확장Extending Model Checker for Real-time Verification of Statecharts
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 방호정 | ko |
| dc.contributor.author | 홍형석 | ko |
| dc.contributor.author | 김태효 | ko |
| dc.contributor.author | 차성덕 | ko |
| dc.date.accessioned | 2013-03-03T17:55:11Z | - |
| dc.date.available | 2013-03-03T17:55:11Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 2004-06 | - |
| dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.6, pp.773 - 783 | - |
| dc.identifier.issn | 1229-6848 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/79775 | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 스테이트차트의 실시간 검증을 위한 모델체커의 확장 | - |
| dc.title.alternative | Extending Model Checker for Real-time Verification of Statecharts | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 31 | - |
| dc.citation.issue | 6 | - |
| dc.citation.beginningpage | 773 | - |
| dc.citation.endingpage | 783 | - |
| dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
| dc.identifier.kciid | ART001177481 | - |
| dc.contributor.nonIdAuthor | 방호정 | - |
| dc.contributor.nonIdAuthor | 홍형석 | - |
| dc.contributor.nonIdAuthor | 김태효 | - |
| dc.description.isOpenAccess | N | - |
- 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.