![](/img/cover-not-exists.png)
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software
Alves, Miriam C. Bergue, Drusinsky, Doron, Michael, James Bret, Shing, Man-TakVolume:
7
Language:
english
Journal:
IEEE Systems Journal
DOI:
10.1109/JSYST.2012.2220591
Date:
December, 2013
File:
PDF, 866 KB
english, 2013