✦ LIBER ✦
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software
✍ Scribed by Alves, Miriam C. Bergue; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak
- Book ID
- 121834450
- Publisher
- Institute of Electrical and Electronics Engineers
- Year
- 2013
- Tongue
- English
- Weight
- 866 KB
- Volume
- 7
- Category
- Article
- ISSN
- 1932-8184
No coin nor oath required. For personal study only.