Trustworthy spacecraft design using formal methods
Aachener Informatik-Berichte ; 2012, 17
Aachener Informatik-Berichte : AIB ; 2012, 17
2013
Online-Ressource (196 S., 1,79 MB)
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report , Hochschulschrift
Elektronische Ressource
Englisch
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
|