Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Statechart의 실시간 성질의 정형적인 명세와 증명 방법
- Title
- Statechart의 실시간 성질의 정형적인 명세와 증명 방법
- Authors
- 강교철
- Date Issued
- 28-Oct-1994
- Publisher
- 한국정보과학회
- Article Type
- Conference
- Citation
- 한국정보과학회 1994년도 가을 학술발표대회, 1994-10-28
- 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.