User: Guest  Login
Document type:
Bachelor's thesis
Author(s):
Sirtl, F.
Title:
Extended Imperative Model Checking – A visual programming approach for a user-friendly MVD generation and validation
Abstract:
Digital building models play a key role in the digitalisation of the building industry. In the Building Information Modeling (BIM) methodology, geometric and semantic in-formation of the entire life cycle are mapped to a digital building model. This wealth of information makes automatically controlling the quality of the building information possible and essential. Industry Foundation Classes (IFC), the worldwide standard in the field of digital building with OpenBIM, provides the Model View Def...     »
Keywords:
LOCenter;
Subject:
ALL Allgemeines
Supervisor:
Abualdenien, J.; Daum, S.; Borrmann, A.
Year:
2020
Year / month:
2020-10
Month:
Oct
University:
Technische Universität München
 BibTeX