Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme


    Beteiligte:


    Erscheinungsdatum :

    2005


    Format / Umfang :

    X, 199 S.


    Anmerkungen:

    graph. Darst.
    Abstract in engl. Sprache
    Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Langzeitarchivierung durch Universitätsbibliothek Braunschweig



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch



    Klassifikation :

    BKL:    55.34 Bahnbetriebstechnik