Modellbasierte Funktionskontrolle

Modellbasiertes Verfahren zur Ermittlung funktionaler Konflikte wie z. B. Öffnungsfunktionen von Fenster und prozessbezogener Verfahren wie z.B. Ermittlung von Fluchtwegdistanzen.