Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas

Publicações

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

Título
Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
Tipo
Artigo em Livro de Atas de Conferência Nacional
Ano
2007
Autores
Valério Rosset
(Autor)
FEUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Sem AUTHENTICUS Sem ORCID
Pedro Ferreira Do Souto
(Autor)
FEUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Paulo José Portugal
(Autor)
FEUP
Ver página pessoal Enviar mensagem Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Francisco Vasques
(Autor)
FEUP
Ver página pessoal Enviar mensagem Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Ata de Conferência Nacional
Páginas: 1-15
II Encontro Nacional de Riscos, Segurança e Fiabilidade - Riscos Públicos e Industriais
Lisboa, Portugal, 13 de Novembro de 2007
Indexação
Publicação em ISI Proceedings ISI Proceedings
Publicação em ISI Web of Science ISI Web of Science
Publicação em Scopus Scopus
COMPENDEX
INSPEC
Classificação Científica
FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática
CORDIS: Ciências Tecnológicas > Engenharia
Outras Informações
Idioma: Português
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação com acesso permitido.
Publicações Relacionadas

Das mesmas áreas científicas

E3.1 – Relatório: “Interfaces: Identificação e caracterização de necessidades/oportunidades de integração/interoperabilidade” (2021)
Relatório Técnico
Hipólito Sousa; Joaquim Moreira; Jorge Teixeira; José Ferreira; Yanh Ribeiro
Construção de Amostras de Dados do Twitter (2013)
Resumo de Comunicação em Conferência Nacional
Tiago Magalhães; Sérgio Nunes
3D object reconstruction from uncalibrated images using an off-the-shelf camera (2009)
Capítulo ou Parte de Livro
Teresa C. S. Azevedo; João Manuel R. S. Tavares; Mário A. P. Vaz
Supporting Real-Time Communication in Large-Scale Wireless Sensor Networks (2014)
Capítulo ou Parte de Livro
Erico Leão; Francisco Vasques; Paulo Portugal
Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems (2016)
Capítulo ou Parte de Livro
Jorge G. Barbosa; Rui Camacho; Altino Sampaio; João Ladeiras; Nuno A. Fonseca; Costa, VS

Ver todas (77)

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-08-22 às 22:39:23 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias