스테이트차트의 실시간 검증을 위한 모델체커의 확장Extending SMV for real-time verification of statecharts
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학전공,
- Publisher
- 한국과학기술원
- Issue Date
- 2003
- Identifier
- 230975/325007 / 020013264
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ vii, 53 p. ]
- Keywords
정형 기법; 실시간 검증; 모델 체킹; 스테이트차트; Statecharts; Formal Methods; Real-time Verification; Model Checking
- Appears in Collection
- CS-Theses_Master(석사논문)
- 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.