Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    AIAA Information Systems-AIAA Infotech @ Aerospace



    Publication date :

    2017-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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


    Executable Formal Models for Validation and Specless Verification

    Greve, D. / IEEE / AIAA | British Library Conference Proceedings | 2000