실시간 시스템을 위한 객체 지향 설계의 페트리 네트 기반의 분석에 관한 연구A study on petri net-based analysis of object-oriented design for real-time systems
- Advisors
- 배두환researcher; Bae, Doo-Hwanresearcher
- Description
- 한국과학기술원 : 정보및통신공학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1996
- Identifier
- 109106/325007 / 000947580
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 정보및통신공학과, 1996.8, [ vi, 48 p. ]
- Keywords
교착상태; Time petri nets; 도달성 조사; 유한성; 시간 페트리 네트; Deadlock; Reachability analysis; Boundedness
- Appears in Collection
- ICE-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.