Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    SIMULATION-BASED AND FORMAL VERIFICATION OF DOMAIN-SPECIFIC LANGUAGE MODEL


    Beteiligte:

    Kongress:

    AIAA SciTech Forum and Exposition ; 2020 ; Orlando, Fla.



    Erscheinungsdatum :

    2020


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Verification for Model-Based Development

    Bouali, Amar / Dion, Bernard | SAE Technical Papers | 2005


    Formal verification for model-based development

    Bouali,A. / Dion,B. / Esterel Technologies,FR | Kraftfahrwesen | 2005


    Formal Verification in Model Based Development

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | SAE Technical Papers | 2015


    Formal verification in model based development

    Hocking,A.B. / Knight,J.C. / Aiello,M.A. et al. | Kraftfahrwesen | 2015