The Truth Is In The Model : Utilizing Model Checking to Rate Learning Success in BIM Software Courses

Northumbria / eCAADe (2014) [Contribution to a conference proceedings]

Fusion - Proceedings of the 32nd eCAADe Conference ; Newcastle upon Tyne, England, UK, 10-12 September 2014 / Emine Mine Thompson (ed.). - Vol. 2
Page(s): 417-426

Authors

Selected Authors

Dieckmann, Andreas
Russell, Peter

Identifier

  • REPORT NUMBER: RWTH-2015-01183