Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme
2005
X, 199 S.
graph. Darst.
Abstract in engl. Sprache
Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Langzeitarchivierung durch Universitätsbibliothek Braunschweig
Hochschulschrift
Deutsch
BKL: | 55.34 Bahnbetriebstechnik |
Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2005
|British Library Online Contents | 1993
|