Coloured petri nets을 이용하는 안전성 분석Safety analysis using coloured petri nets
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1996
- Identifier
- 106046/325007 / 000943526
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1996.2, [ iii, 46 p. ]
- Keywords
요구사항; 안전성 분석; Coloured Petri nets; Coloured Petri nets; Requirement; Safety analysis
- 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.