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 |
Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2005
|Objektorientierte Kostenrechnung
IuD Bahn | 2000
|