Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts


    Contributors:

    Publication date :

    2023


    Size :

    31 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




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

    Mariano M Moscato / Nikson Bernardes Fernandes Ferreira / Laura Titolo et al. | NTRS


    Provably Correct Safety Protocol for Cooperative Platooning

    Mair, Sebastian / Althoff, Matthias | IEEE | 2024


    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 Software: Don't Leave Earth Without It

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