Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts


    Beteiligte:
    M. M. Moscato (Autor:in) / N. B. F. Ferreira (Autor:in) / L. Titolo (Autor:in) / M. Ayala-Rincon (Autor:in)

    Erscheinungsdatum :

    2023


    Format / Umfang :

    31 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




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


    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018