Engineering of Digital Twins for Cyber-Physical Systems
Attributed to:
A Calculus for Software Engineering of Mobile and Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-83723-5_4
Publication URI: http://dx.doi.org/10.1007/978-3-030-83723-5_4
Type: Book Chapter
Book Title: 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 (2021)
Page Reference: 49-53
ISSN: 1436-3798