Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Assuring the Correctness of Automatically Generated Software


    Beteiligte:

    Kongress:

    13th Conference, Digital avionics systems ; 1994 ; Phoenix; AZ



    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    8 pages


    Anmerkungen:

    Also known as the 13th DASC. IEEE cat no 94CH3573-0



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Assuring Correctness, Completeness, and Performance for Model-Based Fault Diagnosis Systems

    Nikora, Allen / Srivastava, Priyanka / Fesq, Lorraine et al. | IEEE | 2019


    Assuring Correctness, Completeness, and Performance for Model-Based Fault Diagnosis Systems

    Nikora, Allen / Chung, Seung / Fesq, Lorraine et al. | NTRS | 2019


    Automatically proving the correctness of vehicle coordination

    Mikael Asplund | DOAJ | 2018

    Freier Zugriff


    Considerations for Assuring Software Systems of Autonomous Aircraft

    Assaad, Zena / Derwort, Noel / Daniell, Katherine A. | IEEE | 2020