Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Trustworthy spacecraft design using formal methods


    Beteiligte:


    Erscheinungsdatum :

    2013


    Format / Umfang :

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


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report , Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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, Philipp M. / Ludtke, Daniel / Schaus, Volker et al. | IEEE | 2013


    Formal Verification Applied to Spacecraft Attitude Control

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


    FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL

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