Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site - Forskning - Aarhus Universitet

Aarhus Universitets segl

Til studerende
Til ph.d.er
Til medarbejdere
Institutter og fakulteter
Bibliotek
Presse

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Dokumenter

isola2020-safecon-v5
Accepteret manuskript, 6,36 MB, PDF-dokument

DOI

https://doi.org/10.1007/978-3-030-83723-5_11
Forlagets udgivne version

Beidi Li
Rasmus O. Nielsen, Aarhus Universitet
Karsten W. Johansen
Jochen Teizer
Peter Gorm Larsen
Carl Schultz

Originalsprog	Engelsk
Titel	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
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	22
Udgivelsessted	Cham
Forlag	Springer
Udgivelsesår	2021
Sider	153-174
ISBN (trykt)	978-3-030-83722-8
ISBN (Elektronisk)	978-3-030-83723-5
DOI	https://doi.org/10.1007/978-3-030-83723-5_11
Status	Udgivet - 2021
Begivenhed	9th International Symposium on Leveraging Applications of Formal Methods - Rhodes, Grækenland Varighed: 20 okt. 2020 → 30 okt. 2020 Konferencens nummer: 9

Konference

Konference	9th International Symposium on Leveraging Applications of Formal Methods
Nummer	9
Lokation	Rhodes
Land	Grækenland
Periode	20/10/2020 → 30/10/2020

Serietitel	Lecture Notes in Computer Science
Vol/bind	12479
ISSN	0302-9743

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 221794975