Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    RISK-BASED FORMAL REQUIREMENT ELICITATION FOR AUTOMATIC SPACECRAFT MANEUVERING


    Beteiligte:

    Kongress:

    AIAA SciTech Forum and Exposition ; 2021 ; Online



    Erscheinungsdatum :

    2021


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | AIAA | 2021


    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | AIAA | 2019


    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | TIBKAT | 2019


    Orbital Maneuvering of Spacecraft

    Szebehely, Victor G. / Mark, Hans | Wiley | 1998