Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Conference:

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


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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 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