Behavior Verification of Hybrid Real-time Requirements by Qualitative Formalism
- Publisher
- IEEE
- Issue Date
- 1997-10-27
- Language
- ENG
- Citation
Real-Time Computing Systems and Applications, pp.127 - 134
- Appears in Collection
- NE-Conference Papers(학술회의논문)
- Files in This Item
- [7].pdf(728.57 kB)Download
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.