Details
Name
Maria José RamosRole
Research AssistantSince
13th May 2022
Nationality
PortugalCentre
High-Assurance SoftwareContacts
+351253604440
maria.j.ramos@inesctec.pt
- Menu
2023
Authors
Barros, M; Ramos, M; Gomes, A; Cunha, A; Pereira, J; Almeida, PS;
Publication
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.