Portal eduCapes: Buscando no repositório

Navegando por Assunto Métodos formais (Computação)

Mostrando resultados 1 a 3 de 3

Rumo à unificação nominal AC
Rincon, Maurício Ayala; Fernández, Maribel
Silva, Gabriel Ferreira
13-Ago-2024
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)

Mostrando resultados 1 a 3 de 3