Model Checking

Verfahren zur automatischen, regelbasierten Verifikation eines Bauwerksmodells (BIM) gegen eine Spezifikation, wie z.B. Normen und Richtlinien, Kundenanforderungen.

Wird verwendet von...

Projekt

News

Termin