Você está em: Start > Publications > View > Interactive Systems: Design, Specification, and Verification
Map of Premises
Interactive Systems: Design, Specification, and Verification
Title
Interactive Systems: Design, Specification, and Verification
Type
International Conference Proceedings Book
Year
2003
Authors
Joaquim A. Jorge
(Editor)
Other
The person does not belong to the institution.
The person does not belong to the institution.
The person does not belong to the institution.
Without AUTHENTICUS
Without ORCID
Nuno Jardim Nunes
(Editor)
Other
The person does not belong to the institution.
The person does not belong to the institution.
The person does not belong to the institution.
Without AUTHENTICUS
Without ORCID
João Falcão e Cunha
(Editor)
FEUP
Publisher
Conference International
10th International Workshop on the Design, Specification and Verification of Interactive Systems (DSV-IS 2003)
Funchal, Portugal, June 11-13, 2003
Scientific classification
FOS:
Engineering and technology > Electrical engineering, Electronic engineering, Information engineering
Other information
DOI:
10.1007/b13960
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-540-39929-2
Collection:
Lecture Notes in Computer Science
Vol.:
2844
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
João P. Pereira (Author) (FEUP); Joaquim A. Jorge (Author) (FEUP); Vasco Afonso da Silva Branco (Author) (FEUP); Fernando Nunes Ferreira (Author) (FEUP)
2003
Related Publications
Of the same scientific areas
“Hydrogen opportunity in the mining industry in the context of decarbonization" (2021)
Thesis
Tiago José Reis Silva
Thesis
Tiago José Reis Silva
Integration of Software Engineering good practices for mobile development at CERN (2019)
Thesis
Inês Pinto Pereira da Cruz
Thesis
Inês Pinto Pereira da Cruz
6DoF tool path generator from CAD model for visual inspection of part surfaces (2022)
Thesis
Luís Rodrigues de Castro
Thesis
Luís Rodrigues de Castro
3D Representation from a Racket Sport Replay (2024)
Thesis
Luís Filipe Carvalhais dos Santos de Matos
Thesis
Luís Filipe Carvalhais dos Santos de Matos
Of the same editor
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (2013)
Another Publication in an International Scientific Journal
Mohamed Kamel; Aurélio Campilho
Another Publication in an International Scientific Journal
Mohamed Kamel; Aurélio Campilho
3D Printing for Construction with Alternative Materials (2023)
Book
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana
Book
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-08-07 at 03:48:16 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-08-07 at 03:48:16 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book