- Title:
Verifikation semantischer Konzepte in digitalen Bauwerksmodellen mit Object Constraint Language
- Document type:
- Konferenzbeitrag
- Author(s):
- Kraft, B.; Krämer, T.
- Keywords:
- Building Information Modeling, Semantic modeling, Model validation, Object constraint language
- Book / Congress title:
- Proc. des 25. Forum Bauinformatik 2013
- Year:
- 2013
- Year / month:
- 2013-09
- Month:
- Sep
- BibTeX