Towards a Digital Twin - Modelling an Agricultural Vehicle

Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen. Towards a Digital Twin - Modelling an Agricultural Vehicle. In Tiziana Margaria, Bernhard Steffen, editors, 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. Volume 12479 of Lecture Notes in Computer Science, pages 109-123, Springer, 2020. [doi]

Authors

Frederik F. Foldager

This author has not been identified. Look up 'Frederik F. Foldager' in Google

Casper Thule

This author has not been identified. Look up 'Casper Thule' in Google

Ole Balling

This author has not been identified. Look up 'Ole Balling' in Google

Peter Gorm Larsen

This author has not been identified. Look up 'Peter Gorm Larsen' in Google