Items where authors include "Gomes, Cláudio"

Proceedings Paper

Woodcock, Jim orcid.org/0000-0001-7955-2702, Gomes, Cláudio, Macedo, Hugo Daniel et al. (1 more author) (2021) Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. 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. 72-87.