Qualitative Formal Method for Requirements Specification and Validation of Hybrid Real-Time Safety Systems
- Issue Date
- 2000-02
- Language
- ENG
- Citation
IEE Proceedings - Software Engineering, v.147, no.1, pp.1 - 10
- ISSN
- 1364-5080
- Appears in Collection
- NE-Conference Papers(학술회의논문)
- 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.