Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Published in:

    Edition :

    1. Aufl.


    Publication date :

    2010


    Size :

    VIII, 446 S.


    Remarks:

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



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English , German



    Classification :

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