Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Novel Framework Approach for Model-Based Process Integration from Requirements to Verification Demonstrated on a Complex, Cyber-Physical Aircraft System


    Beteiligte:
    Gottschall, Marcel (Autor:in) / Binder, Bastian (Autor:in) / Reglitz, Soeren (Autor:in) / Saada, Hajer (Autor:in) / Couto, Luis Diogo (Autor:in) / Cremona, Fabio (Autor:in) / Burgio, Gilberto (Autor:in)

    Kongress:

    Aerospace Systems and Technology Conference



    Erscheinungsdatum :

    01.01.2018


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    A novel framework approach enabling Model-based Requirements Validation and Verification

    Binder, Bastian / Gottschall, Marcel / Blochwitz, Torsten | AIAA | 2018


    Cyber-physical system framework for future aircraft and air traffic control

    Sampigethaya, Krishna / Poovendran, Radha | IEEE | 2012


    A Novel Framework Approach Enabling Model-based Requirements Validation and Verification (AIAA 2018-3892)

    Binder, Bastian / Gottschall, Marcel / Blochwitz, Torsten | British Library Conference Proceedings | 2018


    AUTOMATIC SYSTEM REQUIREMENTS VERIFICATION FOR THE MBSE-ORIENTED AIRCRAFT DESIGN PROCESS

    Dagna, A. / Centomo, S. / Brusa, E. et al. | DataCite | 2024