Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications


    Beteiligte:
    Gritzner, Daniel (Autor:in) / Greenyer, Joel (Autor:in)

    Erscheinungsdatum :

    2018


    Format / Umfang :

    1 Online-Ressource



    Medientyp :

    Buch


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.892



    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


    AN ASSUME-GUARANTEE FRAMEWORK FOR MULTIPLE-OBSTACLE COLLISION AVOIDANCE

    Nallan, K. / Mishra, S. / Julius, A. | TIBKAT | 2021



    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

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