PARTS : A Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints
- Title
- PARTS : A Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints
- Authors
- 강교철
- Date Issued
- 1994-12-07
- Publisher
- .
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/58400
- Article Type
- Conference
- Citation
- 1st Asia-Pacific Software Engineering Conference (APSEC'94), page. 328 - 335, 1994-12-07
- 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.