说明
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.
主要学习内容
- forge
- model checking
- infrastruktur