Items where authors include "Margaria, Tiziana"

Proceedings Paper

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.