Engineering of Digital Twins for Cyber-Physical Systems
You are here
| Title | Engineering of Digital Twins for Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2022 |
| Authors | Fitzgerald J, Larsen PGorm, Margaria T, Woodcock J, Gomes C |
| Editor | Margaria T, Steffen B |
| Conference Name | Leveraging Applications of Formal Methods, Verification and Validation. Practice |
| Publisher | Springer Nature Switzerland |
| Conference Location | Cham |
| ISBN Number | 978-3-031-19762-8 |
