Propriedade | Valor |
Nome: | 355. Bruno Menezes Rocha |
Descrição: | Título: Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software. Banca Examinadora: Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora) 29 de outubro de 2021 |
Nome do arquivo: | Em Breve.jpg |
Tamanho do arquivo: | 44.99 kB |
Tipo do arquivo: | jpg (Tipo Mime: image/jpeg) |
Autor: | secretariamdcc |
Criado em: | 29/10/2021 00:00 |
Viewers: | Everybody |
Mantido por: | Editor |
Hits: | 9426 Hits |
Última atualização em: | 21/12/2022 23:14 |
Homepage: |