Model-checker (Prüfsoftware)
30. November 2020
|Von adminSUP
Auswertung des Bauwerksdatenmodells auf Basis von teilautomatisierten Prüfregeln. Anwendungsfälle sind u.a. die Prüfung auf Kollisionen, vorhandenen Eigenschaften und Einhaltung von Abstandsregeln.
Kategorie:
M