Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts



    Kongress:

    Formal Methods in Computer-Aided Design (FMCAD 2023) ; 2023 ; Ames, IA, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

    M. M. Moscato / N. B. F. Ferreira / L. Titolo et al. | NTIS | 2023


    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


    Provably Correct Safety Protocol for Cooperative Platooning

    Mair, Sebastian / Althoff, Matthias | IEEE | 2024


    Provably Correct Software: Don't Leave Earth Without It

    Linger, Richard C. / Mili, Ali / Drazovich, Robert et al. | AIAA | 2023