Você está em: Início > Publicações > Visualização > Interactive Systems: Design, Specification, and Verification
Interactive Systems: Design, Specification, and Verification
Título
Interactive Systems: Design, Specification, and Verification
Tipo
Livro de Atas de Conferência Internacional
Ano
2003
Autores
Joaquim A. Jorge
(Editor)
Outra
A pessoa não pertence à instituição.
A pessoa não pertence à instituição.
A pessoa não pertence à instituição.
Sem AUTHENTICUS
Sem ORCID
Nuno Jardim Nunes
(Editor)
Outra
A pessoa não pertence à instituição.
A pessoa não pertence à instituição.
A pessoa não pertence à instituição.
Sem AUTHENTICUS
Sem ORCID
João Falcão e Cunha
(Editor)
FEUP
Editora
Conferência Internacional
10th International Workshop on the Design, Specification and Verification of Interactive Systems (DSV-IS 2003)
Funchal, Portugal, June 11-13, 2003
Classificação Científica
FOS:
Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática
Outras Informações
DOI:
10.1007/b13960
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
978-3-540-39929-2
Coleção:
Lecture Notes in Computer Science
Vol.:
2844
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
João P. Pereira (Autor) (FEUP); Joaquim A. Jorge (Autor) (FEUP); Vasco Afonso da Silva Branco (Autor) (FEUP); Fernando Nunes Ferreira (Autor) (FEUP)
2003
Publicações Relacionadas
Das mesmas áreas científicas
“Hydrogen opportunity in the mining industry in the context of decarbonization" (2021)
Tese
Tiago José Reis Silva
Tese
Tiago José Reis Silva
Integration of Software Engineering good practices for mobile development at CERN (2019)
Tese
Inês Pinto Pereira da Cruz
Tese
Inês Pinto Pereira da Cruz
6DoF tool path generator from CAD model for visual inspection of part surfaces (2022)
Tese
Luís Rodrigues de Castro
Tese
Luís Rodrigues de Castro
Da mesma editora
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (2013)
Outra Publicação em Revista Científica Internacional
Mohamed Kamel; Aurélio Campilho
Outra Publicação em Revista Científica Internacional
Mohamed Kamel; Aurélio Campilho
3D Printing for Construction with Alternative Materials (2023)
Livro
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana
Livro
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana
Copyright 1996-2025 © Centro de Desporto da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
Página gerada em: 2025-10-12 às 23:37:18 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Página gerada em: 2025-10-12 às 23:37:18 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico