Dissertation

Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas

Ariane Alves Almeida-2014-10-22-Americanae (AECID Library)

0

TL;DRAbstract

Dissertação (mestrado)—Universidade de Brasília, Institudo de Ciências Exatas, Departamento de Ciência da Computação, 2014.

Chat with Paper

AI Agents for this Paper

Dissertação (mestrado)—Universidade de Brasília, Institudo de Ciências Exatas, Departamento de Ciência da Computação, 2014.

Keywords

Computer science

Chat

Click to start Chat