Engineering of Digital Twins for Cyber-Physical Systems

Fitzgerald, John, Larsen, Peter Gorm, Margaria, Tiziana et al. (1 more author) (2021) Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 49-53.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Margaria, Tiziana
  • Steffen, Bernhard
Copyright, Publisher and Additional Information:

Funding Information: We acknowledge the support of the Poul Due Jensen Foundation for research towards the engineering of digital twins; the European Union?s funding of HUBCAP (Grant Agreement 872698) and DIGITbrain (Grant Agreement 952071); the Innovation Foundation Denmark for funding MADE FAST; AgroRobottiFleet and ITEA3 for funding the UPSIM project (19006). Publisher Copyright: © 2021, Springer Nature Switzerland AG.
Dates:
  • Published: 5 August 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 05 Oct 2022 14:16
Last Modified: 14 Apr 2025 21:06
Published Version: https://doi.org/10.1007/978-3-030-83723-5_4
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Identification Number: 10.1007/978-3-030-83723-5_4
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)