Arquivo de SBMF 2023 - Portal do Japonês

11 de dezembro de 202311 de dezembro de 2023

SBMF 2023: Evento chega ao fim destacando avanços e a necessidade da utilização dos métodos formais para garantir a segurança e confiabilidade

Posted By: Portal do Japones 0 Comment para garantir a segurança e confiabilidade, SBMF 2023

Na sexta-feira (8), a 26ª edição do Simpósio Brasileiro de Métodos Formais (SBMF 2023), realizado pelo Instituto de Computação da Universidade Federal do Amazonas

EDUCAÇÃO

7 de dezembro de 20237 de dezembro de 2023

SBMF 2023: IComp/Ufam realiza abertura oficial do evento

Posted By: Portal do Japones 0 Comment SBMF 2023, Ufam

Os métodos formais exercem um papel fundamental no dia a dia, assegurando eficiência, segurança e confiabilidade, desde a utilização de aplicativos até o funcionamento