Please use this identifier to cite or link to this item:
https://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 |
| DOI: | 10.34626/ze61-jt37 |
| 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 | Size | Format | |
|---|---|---|---|---|
| Resumo.pdf | Resumo | 52.1 kB | Adobe PDF |  View/Open |
| Texto integral.pdf | Texto integral | 11.38 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.