Trustworthy spacecraft design using formal methods
2013
Online-Ressource (196 S., 1,79 MB)
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report , Theses
Electronic Resource
English
DDC: | 621.3841910285512 / 629.10285512 | |
BKL: | 54.52 Software engineering / 55.60 Raumfahrttechnik / 54.10 Theoretische Informatik |
Developing System Requirements for Trustworthy AI Enabled Refueling Spacecraft
Springer Verlag | 2023
|A formal method for early spacecraft design verification
IEEE | 2013
|FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL
TIBKAT | 2021
|