Portal eduCapes: Buscando no repositório

Navegando por Autor Bonifácio, Adilson Luiz [Orientador]

Mostrando resultados 1 a 3 de 3

Detecção de conflitos em contratos multilaterais
Bonifácio, Adilson Luiz [Orientador]; Simão, Adenilso da Silva; Kaster, Daniel dos Santos; Baccarin, Evandro
Della Mura, Wellington Aparecido
1-Mai-2024
★★★★★ (0)
Everest : uma ferramenta para verificação de conformidade e geração de testes para modelos reativos
Bonifácio, Adilson Luiz [Orientador]; Endo, André Takeshi; Barros, Rodolfo Miranda de; Palma, Jandira Guenka
Gomes, Camila Sonoda
1-Mai-2024
★★★★★ (0)
Um modelo de falhas para sistemas de tempo real
Bonifácio, Adilson Luiz [Orientador]; Moura, Arnaldo Vieira; Baccarin, Evandro; Attrot, Wesley
Doi Junior, Gilson
1-Mai-2024
★★★★★ (0)

Mostrando resultados 1 a 3 de 3