Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation


    Beteiligte:
    Idani, Akram (Autor:in) / Ledru, Yves (Autor:in) / Wakrime, Abderrahim Ait (Autor:in) / Ayed, Rahma Ben (Autor:in) / Bon, Philippe (Autor:in)

    Kongress:

    Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)



    Erscheinungsdatum :

    01.01.2019


    Format / Umfang :

    18 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt