Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Domain-specific modelling of railway control systems with integrated verification and validation


    Beteiligte:
    Mewes, Kirsten (Autor:in)

    Erschienen in:

    Ausgabe :

    1. Aufl.


    Erscheinungsdatum :

    2010


    Format / Umfang :

    VIII, 446 S.


    Anmerkungen:

    240 mm x 170 mm, 910 gr.
    Ill., graph. Darst.



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Englisch , Deutsch



    Klassifikation :

    DDC:    004
    RVK:    ZO 5130 / ST 620
    BKL:    55.34 Bahnbetriebstechnik