Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Utilization of Constraint Satisfaction Problem Algorithms in Model-Based Safety Analysis [MBSA]


    Contributors:

    Conference:

    AIAA AVIATION 2020 FORUM



    Publication date :

    2020-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    UTILIZATION OF CONSTRAINT SATISFACTION PROBLEM ALGORITHMS IN MODEL- BASED SAFETY ANALYSIS [MBSA]

    Elmeadawy, Samar / Abdellatif, Akram A. / Holzapfel, Florian | TIBKAT | 2020


    THE @ UTILIZATION OF MACHINE LEARNING ALGORITHMS TO ENHANCE AUTOMATIC MODEL-BASED SAFETY ANALYSIS (MBSA) TOOLS

    Abdellatif, Akram / Holzapfel, , Nada Khattab, Aya Abdalla, Florian | TIBKAT | 2022


    Model Based Safety Analysis (MBSA) Tool for Avionics Systems Evaluation

    Abdellatif, Akram Amin / Holzapfel, Florian | IEEE | 2020