Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 2,00 MB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 17.09.2024 08:35:08 | Zuletzt geändert am | 17.09.2024 08:35:08 | Dokument: | Modellierung und Verifikation von Eisenbahnsystemen: Übersetzung von RailML in die B-Methode | Hauptdatei | |
| | |