Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution
- Title
- ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution
- Authors
- 강교철
- Date Issued
- 1995-08-31
- Article Type
- Conference
- Citation
- International Workshop on Engineering of Highly Dependable Software, page. 103 - 138, 1995-08-31
- 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.