You are here:
» Towards Digital Twins for Knowledge-Driven Construction P...
About Aarhus University
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Documents
- isola2020-safecon-v5
Accepted manuscript, 6.36 MB, PDF document
DOI
- https://doi.org/10.1007/978-3-030-83723-5_11
Final published version
- Beidi Li ,
- Rasmus O. Nielsen, Aarhus University ,
- Karsten W. Johansen ,
- Jochen Teizer ,
- Peter Gorm Larsen
- Carl Schultz
| Original language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV |
| Editors | Tiziana Margaria, Bernhard Steffen |
| Number of pages | 22 |
| Place of publication | Cham |
| Publisher | Springer |
| Publication year | 2021 |
| Pages | 153-174 |
| ISBN (print) | 978-3-030-83722-8 |
| ISBN (Electronic) | 978-3-030-83723-5 |
| DOIs | |
| Publication status | Published - 2021 |
| Event | 9th International Symposium on Leveraging Applications of Formal Methods - Rhodes, Greece Duration: 20 Oct 2020 → 30 Oct 2020 Conference number: 9 |
Conference
| Conference | 9th International Symposium on Leveraging Applications of Formal Methods |
|---|---|
| Nummer | 9 |
| Location | Rhodes |
| Land | Greece |
| Periode | 20/10/2020 → 30/10/2020 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 12479 |
| ISSN | 0302-9743 |
See relations at Aarhus University Citationformats
Download statistics
No data available
ID: 221794975