Beschreibung
In diesem Vortrag möchten wir unsere aktuellen Arbeiten mit Forge präsentieren.
Dabei gehen wir zum einen auf die Modellanalyse und -überprüfung mittels Forge ein. Zusätzlich werden wir erste Ansätze aus dem Bereich der Infrastrukturplanung inkl. Unterstützung von Forge und IFC4.1 vorstellen.
Wichtige Erkenntnisse
- forge
- model checking
- infrastruktur