Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Advanced Verification Techniques for Airborne Safety Critical Hardware


    Beteiligte:
    Butka, Brian (Autor:in)

    Kongress:

    AIAA Infotech@Aerospace (I@A) Conference



    Erscheinungsdatum :

    01.01.2013



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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