Model Checking

« Zurück zum Glossar Index

Automatisierte Prüfung von Modellen auf Einhaltung bestimmter Kriterien.

Weitere spannende Themen finden Sie in unserer Übersicht: Top-Themen Digitalisierung Bauwirtschaft.

« Zurück zum Glossar Index