Aarhus University Seal / Aarhus Universitets segl

Towards a Digital Twin - Modelling an Agricultural Vehicle

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Standard

Towards a Digital Twin - Modelling an Agricultural Vehicle. / Foldager, Frederik F.; Thule, Casper; Balling, Ole; Larsen, Peter Gorm.

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. red. / Tiziana Margaria; Bernhard Steffen. Cham : Springer, 2021. s. 109-123 (Lecture Notes in Computer Science, Bind 12479).

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Harvard

Foldager, FF, Thule, C, Balling, O & Larsen, PG 2021, Towards a Digital Twin - Modelling an Agricultural Vehicle. i T Margaria & B Steffen (red), 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. Springer, Cham, Lecture Notes in Computer Science, bind 12479, s. 109-123, 9th International Symposium on Leveraging Applications of Formal Methods, Grækenland, 20/10/2020. https://doi.org/10.1007/978-3-030-83723-5_8

APA

Foldager, F. F., Thule, C., Balling, O., & Larsen, P. G. (2021). Towards a Digital Twin - Modelling an Agricultural Vehicle. I T. Margaria, & B. Steffen (red.), 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 (s. 109-123). Springer. Lecture Notes in Computer Science Bind 12479 https://doi.org/10.1007/978-3-030-83723-5_8

CBE

Foldager FF, Thule C, Balling O, Larsen PG. 2021. Towards a Digital Twin - Modelling an Agricultural Vehicle. Margaria T, Steffen B, red. I 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. Cham: Springer. s. 109-123. (Lecture Notes in Computer Science, Bind 12479). https://doi.org/10.1007/978-3-030-83723-5_8

MLA

Foldager, Frederik F. o.a.. "Towards a Digital Twin - Modelling an Agricultural Vehicle". og Margaria, Tiziana Steffen, Bernhard (red.). 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. Cham: Springer. (Lecture Notes in Computer Science, Bind 12479). 2021, 109-123. https://doi.org/10.1007/978-3-030-83723-5_8

Vancouver

Foldager FF, Thule C, Balling O, Larsen PG. Towards a Digital Twin - Modelling an Agricultural Vehicle. I Margaria T, Steffen B, red., 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. Cham: Springer. 2021. s. 109-123. (Lecture Notes in Computer Science, Bind 12479). https://doi.org/10.1007/978-3-030-83723-5_8

Author

Foldager, Frederik F. ; Thule, Casper ; Balling, Ole ; Larsen, Peter Gorm. / Towards a Digital Twin - Modelling an Agricultural Vehicle. 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. red. / Tiziana Margaria ; Bernhard Steffen. Cham : Springer, 2021. s. 109-123 (Lecture Notes in Computer Science, Bind 12479).

Bibtex

@inproceedings{8788e7807022466aac3896ef8997ac5a,
title = "Towards a Digital Twin - Modelling an Agricultural Vehicle",
author = "Foldager, {Frederik F.} and Casper Thule and Ole Balling and Larsen, {Peter Gorm}",
year = "2021",
doi = "10.1007/978-3-030-83723-5_8",
language = "English",
isbn = "978-3-030-83722-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "109--123",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends",
note = "null ; Conference date: 20-10-2020 Through 30-10-2020",

}

RIS

TY - GEN

T1 - Towards a Digital Twin - Modelling an Agricultural Vehicle

AU - Foldager, Frederik F.

AU - Thule, Casper

AU - Balling, Ole

AU - Larsen, Peter Gorm

N1 - Conference code: 9

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-83723-5_8

DO - 10.1007/978-3-030-83723-5_8

M3 - Article in proceedings

SN - 978-3-030-83722-8

T3 - Lecture Notes in Computer Science

SP - 109

EP - 123

BT - Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

Y2 - 20 October 2020 through 30 October 2020

ER -