Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme
2005
X, 199 S.
graph. Darst.
Abstract in engl. Sprache
Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Digital preservation by Universitätsbibliothek Braunschweig
Theses , Report
German
BKL: | 55.34 Bahnbetriebstechnik |