ASADAL: A Real-Time Systems Specification and Analysis Environment
- Title
- ASADAL: A Real-Time Systems Specification and Analysis Environment
- Authors
- 강교철
- Date Issued
- 1996-08-01
- Publisher
- Korea Information Science Society
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/81971
- Article Type
- Conference
- Citation
- Korea Information Science Society Review, page. 22 - 31, 1996-08-01
- 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.