| Allgemeine Angaben: | | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | | Größe | 6,82 MB in einer Datei | | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | | Eingebracht am | 30.05.2017 10:23:48 | | Zuletzt geändert am | 30.05.2017 10:23:48 | | Dokument: | Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems | | Hauptdatei | |
| | |
