Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Guarro, Sergio (Autor:in) / Yau, Michael K. (Autor:in) / Ozguner, Umit (Autor:in) / Aldemir, Tunc (Autor:in) / Kurt, Arda (Autor:in) / Hejase, Mohammad (Autor:in) / Knudson, Matt (Autor:in)

    Kongress:

    AIAA Information Systems-AIAA Infotech @ Aerospace



    Erscheinungsdatum :

    01.01.2017




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    A Framework for Verification and Validation of Complex Aerospace Systems

    Felder, W.N. | British Library Conference Proceedings | 2013


    Continuous Formal Verification for Aerospace Applications

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