1. Repositório Aberto da Universidade do Porto
  2. FEUP - Faculdade de Engenharia
  3. FEUP - Dissertação
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/11561
Full metadata record
DC FieldValueLanguage
dc.creatorPereira, António Jorge dos Santospt_PT
dc.date1997pt_PT
dc.date.accessioned2012-11-09T12:49:01Z-
dc.date.available2012-11-09T12:49:01Z-
dc.date.issued1997-
dc.identifieroai:digitool.fe.up.pt:2657pt_PT
dc.identifier.urihttp://hdl.handle.net/10216/11561-
dc.descriptionDissertaçã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 Valept_PT
dc.formatXV, 241 p., 30 cmpt_PT
dc.format.mimetypeapplication/pdfpt_PT
dc.format.mimetypeapplication/pdfpt_PT
dc.languageporpt_PT
dc.relationFEUPpt_PT
dc.relationSDIpt_PT
dc.relationRiFEUPpt_PT
dc.rightsopenAccesspt_PT
dc.subjectInformáticapt_PT
dc.titleVerificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificaçãopt_PT
dc.typeDissertaçãopt_PT
dc.contributor.uportoFaculdade de Engenharia-
dc.identifier.doi10.34626/ze61-jt37-
thesis.degree.grantorFaculdade de Engenharia-
thesis.degree.grantorUniversidade do Porto-
thesis.degree.level1-
dc.identifier.isnihttps://isni.org/isni/000000040392388X-
dc.identifier.rorhttps://ror.org/043pwc612-
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
Show simple item record Recommend this item Display Statistics


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