Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Simulation-Based and Formal Verification of Domain-Specific Language Model


    Beteiligte:

    Kongress:

    AIAA Scitech 2020 Forum



    Erscheinungsdatum :

    2020-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



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

    Chhaya, Bharvi N. / Jafer, Shafagh | TIBKAT | 2020


    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