Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    A. Mavridou (author) / A. Katis (author) / D. Giannakopoulou (author) / D. Kooi (author) / T. Pressburger (author) / M. W. Whalen (author)

    Publication date :

    2021


    Size :

    24 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




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

    Anastasia Mavridou / Andreas Katis / Dimitra Giannakopoulou et al. | 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


    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

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