%0 Thesis %1 phd/dnb/Nguyen13d %A Nguyen, Viet Yen %D 2013 %K dblp %P 1-187 %T Trustworthy spacecraft design using formal methods.

@phdthesis{phd/dnb/Nguyen13d, added-at = {2021-07-17T00:00:00.000+0200}, author = {Nguyen, Viet Yen}, biburl = {https://www.bibsonomy.org/bibtex/295a1c3b56cc48f707ac9eb2514d79178/dblp}, ee = {https://d-nb.info/1046478222}, interhash = {fcdee2fb9e8e5d0515aa4331c2526158}, intrahash = {95a1c3b56cc48f707ac9eb2514d79178}, keywords = {dblp}, pages = {1-187}, school = {RWTH Aachen University}, timestamp = {2024-04-09T08:25:29.000+0200}, title = {Trustworthy spacecraft design using formal methods.}, year = 2013 }