Foundations for BIM-based model checking systems: Transforming regulations into computable rules in BIM-based model checking systems
E Hjelseth - 2019 - nmbu.brage.unit.no
Building Information Modelling (BIM)-based model checking is maybe the best way to utilize
BIM technology and to contribute to the development of new procedures in the architecture …
BIM technology and to contribute to the development of new procedures in the architecture …
[PDF][PDF] Foundations for BIM-based model checking systems
E Hjelseth - 2015 - ibim.no
This study is about methods for structuring of regulations by reduction of complexity as part
of preparation for BIM (building information modelling) based model checking solutions. Use …
of preparation for BIM (building information modelling) based model checking solutions. Use …