Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems


    Beteiligte:
    Ferrante, Orlando (Autor:in) / Scholte, Eelco (Autor:in) / Pinello, Claudio (Autor:in) / Ferrari, Alberto (Autor:in) / Mangeruca, Leonardo (Autor:in) / Liu, Cong (Autor:in) / Sofronis, Christos (Autor:in)

    Kongress:

    SAE 2016 Aerospace Systems and Technology Conference



    Erscheinungsdatum :

    2016-01-01


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems

    Ferrari, Alberto / Sofronis, Christos / Pinello, Claudio et al. | SAE Technical Papers | 2016



    Aerospace Payloads Leak Test Methodology

    O. Lvovsky / C. M. Grayson | NTIS | 2010


    A Methodology for Integrated Cost Engineered Systems Within Aerospace

    Curran, Richard / Raghunathan, S. / Price, M. et al. | AIAA | 2004