Map of Premises
Publications
Deductive verification of MPI protocols
Title
Deductive verification of MPI protocols
Type
Chapter or Part of a Book
Year
2017
Authors
Eduardo R. B. Marques
(Author)
FCUP
Vasco T. Vasconcelos
(Author)
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
Francisco Martins
(Author)
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
Nobuko Yoshida
(Author)
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
Nicholas Ng
(Author)
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
Scientific classification
FOS:
Engineering and technology
CORDIS:
Technological sciences
Other information
Type (Professor's evaluation):
Scientific
Documents
We could not find any documents associated to the publication.
Related Publications
Of the same scientific areas
Utilização dos Campos de Granitado LASER (SPECKLE) na Medição de Deslocamentos e Deformações num Plano (1984)
Thesis
A. C. Marques Pinho; J. F. Silva Gomes
Thesis
A. C. Marques Pinho; J. F. Silva Gomes
Utilização de Técnicas Interferométricas na Medição de Deformações (no Plano) em Estruturas Sujeitas a Solicitações Térmicas e Mecânicas (1996)
Thesis
António Teixeira; J. F. Silva Gomes
Thesis
António Teixeira; J. F. Silva Gomes
Utilização da Interferometria de Granitado Laser (ESPI) na Determinação dos Modos e Frequências Próprias de Vibração de Placas (1987)
Thesis
Pedro M. B. Pimentel; J. F. Silva Gomes
Thesis
Pedro M. B. Pimentel; J. F. Silva Gomes
Transformação de um Objecto da Industria Extractiva em Sistema. Algumas consequências. (1998)
Thesis
Alexandre Leite
Thesis
Alexandre Leite
Solicitações Locais em Cascas Finas de Geometria Esférica e Cilíndrica (1993)
Thesis
Nuno Rilo; J. F. Silva Gomes
Thesis
Nuno Rilo; J. F. Silva Gomes
Copyright 1996-2026 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2026-05-02 at 02:24:46 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2026-05-02 at 02:24:46 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book