Access

    Download


    Export, share and cite



    Title :

    MADEQ: A model for avionics device qualification




    Publication date :

    2013-10-01


    Size :

    6056762 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    MADEQ: A model for Avionics Device Qualification

    da Silva, Caio Monteiro Barbosa / da Cunha, Adilson Marques | IEEE | 2013


    Qualification of a Model Checker for Avionics Software Verification

    Wagner, Lucas / Mebsout, Alain / Tinelli, Cesare et al. | British Library Conference Proceedings | 2017




    Lightning Protection for and Qualification Testing of Modular Avionics

    Spiller, O. | British Library Conference Proceedings | 1996