Detalhes
Nome
Maria José RamosCargo
Assistente de InvestigaçãoDesde
13 maio 2022
Nacionalidade
PortugalCentro
Laboratório de Software ConfiávelContactos
+351253604440
maria.j.ramos@inesctec.pt
2023
Autores
Barros, M; Ramos, M; Gomes, A; Cunha, A; Pereira, J; Almeida, PS;
Publicação
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.