Repositório Digital

A- A A+

Estudo de técnicas formais de verificação para o projeto de sistemas Digitais

.

Estudo de técnicas formais de verificação para o projeto de sistemas Digitais

Mostrar registro completo

Estatísticas

Evento Salão de iniciação Científica (15. : 2003 nov. 24-28 : UFRGS, Porto Alegre, RS).
Título Estudo de técnicas formais de verificação para o projeto de sistemas Digitais
Autor Arns, Artur Bartmann
Orientador Lamb, Luis da Cunha
Contido em Salão de iniciação Científica (15. : 2003 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2003.
Sessão Fundamentos da computação, processamento de imagens e visão computacional
Assunto Ciências exatas e da terra
Tipo Resumo publicado em evento
URI http://hdl.handle.net/10183/74649
Arquivos Descrição Formato
Resumo_20030358.pdf (9.784Kb) Resumo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.