Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/94838
Author(s): Valério Rosset
Pedro Ferreira Do Souto
Paulo José Portugal
Francisco Vasques
Title: Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
Issue Date: 2007
Subject: Engenharia, Engenharia electrotécnica, electrónica e informática
Engineering, Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: https://repositorio-aberto.up.pt/handle/10216/94838
Source: II Encontro Nacional de Riscos, Segurança e Fiabilidade - Riscos Públicos e Industriais
Document Type: Artigo em Livro de Atas de Conferência Nacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:
File Description SizeFormat 
69529.pdf
  Restricted Access
296.45 kBAdobe PDF    Request a copy from the Author(s)


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