Business-based rule translation method for BIM-based Model Checking systems

Peter Nørkjær Gade, Rasmus Lund Jensen, Kjeld Svidt

Publikation: Bidrag til bog/antologi/rapportKonferenceartikel i proceedingpeer review

OriginalsprogEngelsk
TitelLecture Notes in Computer Science
ForlagSpringer
StatusAccepteret/In press - 25 maj 2022
BegivenhedThe 20th International Conference on Cooperative Design and Visualization in Engineering 2022 - Jagiellonian University, Krakow, Polen
Varighed: 25 sep. 202228 sep. 2022
Konferencens nummer: 20
https://www.cdve.org/

Konference

KonferenceThe 20th International Conference on Cooperative Design and Visualization in Engineering 2022
Nummer20
LokationJagiellonian University
Land/OmrådePolen
ByKrakow
Periode25/09/2228/09/22
Internetadresse
NavnLecture Notes in Computer Science
ISSN0302-9743

Emneord

  • byggeri
  • BIM-based Model Checking
  • Business Rules
  • Rule translation

Citationsformater