Prüfsoftware / Checkingtool, Modelchecker

Programm zur disziplinspezifischen Prüfung von Modellinhalten bzw. interdisziplinären Koordination.

Quelle: Glossar BS AT