Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Validation of Aerospace Software


    Beteiligte:

    Kongress:

    Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal



    Erscheinungsdatum :

    01.01.2013


    Format / Umfang :

    42 pages


    Anmerkungen:

    Includes bibliographical references; Held in e-store (RMS)




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Perspectives on aerospace software validation

    Rubey, R.J. | Tema Archiv | 1972


    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems (AIAA 2017-0418)

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | British Library Conference Proceedings | 2017



    Continuous Formal Verification for Aerospace Applications

    McColl, Morgan / McColl, Callum / Pereira, Aaron et al. | IEEE | 2024