Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019

Publicações

Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019

Título
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019
Tipo
Livro de Atas de Conferência Internacional
Ano
2019
Autores
Monahan, R
(Autor)
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
Prevosto, V
(Autor)
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
Proença, J
(Autor)
Outra
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Conferência Internacional
5th Workshop on Formal Integrated Development Environment, F-IDE 2019
7 October 2019
Outras Informações
ID Authenticus: P-00R-R7M
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Coleção: EPTCS
Vol.: 11951
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Simulation under Arbitrary Temporal Logic ConstraintsImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Brunel, J (Autor) (Outra); Chemouil, D (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
Publicações Relacionadas

Dos mesmos autores

Preface (2019)
Outra Publicação em Revista Científica Internacional
Monahan, R; Prevosto, V; Proença, J
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-09-24 às 03:19:08 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico