Building Lifecycle Management

IFC Model Checking

  • Autor:

    Ebertshäuser, S.; Both, P. von

  • Quelle:

    Ebertshäuser, S. (2017). IFC Model Checking. In M. Wetter & C. van Treeck (Hrsg.), IEA EBC Annex 60: New Generation Computing Tools for Building and Community Energy Systems – Final Report (S. 182–189). Abgerufen von http://www.iea-annex60.org/downloads/iea-ebc-annex60-final-report.pdf

  • Datum: 02/2017