Access

    Download


    Export, share and cite



    Title :

    Trustworthy spacecraft design using formal methods


    Contributors:


    Publication date :

    2013


    Size :

    Online-Ressource (196 S., 1,79 MB)


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report , Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    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

    Rochford, Elizabeth / Cohen, Kelly | Springer Verlag | 2023


    Model-based spacecraft fault management design & formal validation

    Gibson, Corrina / Bonnici, Michael / Castet, Jean-Francois | IEEE | 2015


    A formal method for early spacecraft design verification

    Fischer, P. M. / Ludtke, D. / Schaus, V. et al. | IEEE | 2013


    FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL

    Lang, Kendra / Klett, Corbin / Hawkins, Kelsey et al. | TIBKAT | 2021


    Formal Verification Applied to Spacecraft Attitude Control

    Lang, Kendra / Klett, Corbin / Hawkins, Kelsey et al. | AIAA | 2021