Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > RIGOROUS STATE-BASED METHODS, ABZ 2023

Publicações

RIGOROUS STATE-BASED METHODS, ABZ 2023

Título
RIGOROUS STATE-BASED METHODS, ABZ 2023
Tipo
Livro de Atas de Conferência Internacional
Ano
2023
Conferência Internacional
9th International Conference on Rigorous State-Based Methods (ABZ)
Nancy, FRANCE, MAY 30-JUN 02, 2023
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
ISBN: 978-3-031-33162-6; 978-3-031-33163-3
ISBN Eletrónico: 978-3-031-33162-6
Coleção: Lecture Notes in Computer Science
Vol.: 14010
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Adding Records to AlloyImportada 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) (FEUP)
Task Model Design and Analysis with AlloyImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Kang, E (Autor) (Outra)
Verifying Temporal Relational Models with PardinusImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Macedo, N (Autor) (FEUP); Brunel, J (Autor) (Outra); Chemouil, D (Autor) (Outra); Cunha, A (Autor) (Outra)
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-10-09 às 09:24:36 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico