Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft


    Beteiligte:
    P. Rajagopal (Autor:in) / J. B. Dabney (Autor:in) / J. M. Badger (Autor:in)

    Erscheinungsdatum :

    2023


    Format / Umfang :

    16 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    Pavan Rajagopal / James B. Dabney / Julia M. Badger | NTRS


    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    James B Dabney / Pavan Rajagopal / Julia M Badger | NTRS


    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021


    Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts

    Rouquette, Nicolas / Incer, Inigo / Pinto, Alessandro | IEEE | 2023


    High-real-time spacecraft autonomous guarantee fault positioning platform

    YU JINGSONG / HAN DANYANG / LIU HAO et al. | Europäisches Patentamt | 2021

    Freier Zugriff