Practitioner Experiences and Requirements for Rule Translation Used for Building Information Model-Based Model Checking.

Peter Nrkjr Gade, Rasmus Lund Jensen, Kjeld Svidt

Browse the full CDVE paper archive.