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:
    Pavan Rajagopal (Autor:in) / James B. Dabney (Autor:in) / Julia M. Badger (Autor:in)

    Kongress:

    16th Annual Flight Software Workshop ; 2023 ; Virtual, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Using Assume-Guarantee Contracts in Autonomous Spacecraft

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


    Using Assume-Guarantee Contracts in Autonomous Spacecraft

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



    From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

    Anastasia Mavridou / Andreas Katis / Dimitra Giannakopoulou et al. | NTRS