ASADAL Specification and Analysis of Real-Time Systems
- Title
- ASADAL Specification and Analysis of Real-Time Systems
- Authors
- 강교철
- Date Issued
- 1996-09-06
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/81928
- Article Type
- Conference
- Citation
- 96 Workshop on Information and Communication Systems Development Technology, page. 90 - 98, 1996-09-06
- 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.