Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas

Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/94838

Full metadata record

DC Field	Value	Language
dc.creator	Valério Rosset
dc.creator	Pedro Ferreira Do Souto
dc.creator	Paulo José Portugal
dc.creator	Francisco Vasques
dc.date.accessioned	2022-09-09T22:59:39Z	-
dc.date.available	2022-09-09T22:59:39Z	-
dc.date.issued	2007
dc.identifier.other	sigarra:69529
dc.identifier.uri	https://hdl.handle.net/10216/94838	-
dc.language.iso	por
dc.relation.ispartof	II Encontro Nacional de Riscos, Segurança e Fiabilidade - Riscos Públicos e Industriais
dc.rights	restrictedAccess
dc.subject	Engenharia, Engenharia electrotécnica, electrónica e informática
dc.subject	Engineering, Electrical engineering, Electronic engineering, Information engineering
dc.title	Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
dc.type	Artigo em Livro de Atas de Conferência Nacional
dc.contributor.uporto	Faculdade de Engenharia
dc.subject.fos	Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fos	Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
Appears in Collections:	FEUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:

File	Description	Size	Format
69529.pdf Restricted Access		296.45 kB	Adobe PDF	View/Open