Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method
- Title
- PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method
- Authors
- 강교철
- Date Issued
- 1995-04-24
- Publisher
- .
- Article Type
- Conference
- Citation
- 17th International Conference on Software Engineering, page. 169 - 176, 1995-04-24
- 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.