Verificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificação

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

Links & Downloads

1. oai:digitool.fe.up.pt:2657
2. http://hdl.handle.net/10216/11561

Tags

Informática

Additional Fields

Identifer	oai:union.ndltd.org:up.pt/oai:repositorio-aberto.up.pt:10216/11561
Date	January 1997
Creators	Pereira, António Jorge dos Santos
Source Sets	Universidade do Porto
Language	Portuguese
Detected Language	Portuguese
Type	Dissertação
Format	XV, 241 p., 30 cm, application/pdf, application/pdf, application/pdf, application/pdf
Rights	openAccess
Relation	FEUP, SDI, RiFEUP