Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Provably Correct Software: Don't Leave Earth Without It


    Beteiligte:
    Linger, Richard C. (Autor:in) / Mili, Ali (Autor:in) / Drazovich, Robert (Autor:in) / Pleszkoch, Mark (Autor:in) / McHugh, John (Autor:in) / Ghardallou, Wided (Autor:in)

    Kongress:

    AIAA SCITECH 2023 Forum



    Erscheinungsdatum :

    2023-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    EVA - Don't Leave Earth Without It

    Cupples, J. Scott / Smith, Stephen A. | NTRS | 2011


    EVA - Don't Leave Earth Without It

    Cupples, Scott / Smith, Stephen | AIAA | 2011


    EVA - Don't Leave Earth Without It

    Cupples, J. / Smith, S. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2011


    Provably-Correct and Comfortable Adaptive Cruise Control

    Althoff, Matthias / Maierhofer, Sebastian / Pek, Christian | IEEE | 2021


    Provably correct reactive control from natural language

    Lignos, C. | British Library Online Contents | 2015