Description
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.
Principaux enseignements
- forge
- model checking
- infrastruktur
Étiquettes
Produit | |
Secteurs d'activité |