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).
https://www.iea-annex60.org/downloads/iea-ebc-annex60-final-report.pdf
- Datum: 02/2017
Links