Access

    Redirect to SLUB

    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:

    Publication date :

    2010


    Size :

    VIII, 446 S. , 240 mm x 170 mm, 910 gr.



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English , German



    Classification :

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