Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Tipo de documento: | Dissertação |
Idioma: | por |
Texto Completo: | http://repositorio.unb.br/handle/10482/16605 |
id |
UNB_e5b1d469dde3fb8ec7d39178017ae266 |
---|---|
oai_identifier_str |
oai:repositorio2.unb.br:10482/16605 |
network_name_str |
Repositório Institucional da UnB |
title |
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas |
author |
Almeida, Ariane Alves |
topic |
Verificação formal Especificação e verificação algébrica Hardware Métodos formais - computação |
publishDate |
2014 |
format |
masterThesis |
url |
http://repositorio.unb.br/handle/10482/16605 |
language |
por |
instname_str |
Universidade de Brasília (UnB) |
instacron_str |
UNB |