Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Interactive Systems: Design, Specification, and Verification
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

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
Ver página pessoal Enviar mensagem Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
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
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
Calligraphic Interfaces: Mixed Metaphors for Design
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)
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
​Integration of Software Engineering good practices for mobile development at CERN (2019)
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
5G SA Private Networks Design (2023)
Tese
Daniel Girão Pereira
3D Representation from a Racket Sport Replay (2024)
Tese
Luís Filipe Carvalhais dos Santos de Matos

Ver todas (7777)

Da mesma editora

PADL (2011)
Outras Publicações
Ricardo Rocha; John Launchbury
PADL (2000)
Outras Publicações
Enrico Pontelli; Vítor Santos Costa
EPIA (2001)
Outras Publicações
Pavel Brazdil; Alípio Jorge
3D Printing for Construction with Alternative Materials (2023)
Livro
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana
World heritage patinas: actions, alerts and risks (2021)
Livro
Christofoletti, Rodrigo ; Olender, Marcos

Ver todas (569)

Recomendar Página Voltar ao Topo
Copyright 1996-2026 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Última actualização: 2016-03-23 I  Página gerada em: 2026-02-16 às 02:44:57 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico