| Allgemeine Angaben: | | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | | Größe | 8,67 MB in einer Datei | | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | | Eingebracht am | 15.10.2025 15:48:06 | | Zuletzt geändert am | 15.10.2025 15:48:06 | | Dokument: | Simulation and Code Generation for Validation and Verification of Formal B Models | | Hauptdatei | |
| | |
