Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Advanced Verification Techniques for Airborne Safety Critical Hardware


    Contributors:

    Conference:

    AIAA Infotech@Aerospace (I@A) Conference



    Publication date :

    2013-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Advanced Verification Techniques for Airborne Safety Critical Hardware (AIAA 2013-4565)

    Butka, B. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013



    Software hardware co-simulation and co-verification in safety critical system design

    Shi, Jin / Liu, Weichao / Jiang, Ming et al. | IEEE | 2013


    Universal verification methodology-based airborne electronic hardware certification approach for ARINC-429

    Ayaz, Ibrahim / Sakarya, Ufuk / Hokelek, Ibrahim | Emerald Group Publishing | 2023