Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/11561
Author(s): Pereira, António Jorge dos Santos
Title: Verificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificação
Issue Date: 1997
Date: 1997
Description: Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrótecnica e de Computadores, na Faculdade de Engenharia da Universidade do Porto, sob a orientação da Prof. Doutora Zita Maria Almeida do Vale
Subject: Informática
Other Identifiers: oai:digitool.fe.up.pt:2657
URI: http://hdl.handle.net/10216/11561
Related Information: FEUP
SDI
RiFEUP
Document Type: Dissertação
Rights: openAccess
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
Resumo.pdfResumo52.1 kBAdobe PDFThumbnail
View/Open
Texto integral.pdfTexto integral11.38 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.