Trustworthy spacecraft design using formal methods

Viet Yen Nguyen. Trustworthy spacecraft design using formal methods. PhD thesis, RWTH Aachen University, 2013. [doi]

Abstract

Abstract is missing.