Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Publicações

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Título
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Tipo
Livro de Atas de Conferência Internacional
Ano
2020
Conferência Internacional
7th International Conference on Rigorous State-Based Methods, ABZ 2020
27 May 2020 through 29 May 2020
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
ISBN: 978-3-030-48076-9
ISBN Eletrónico: 978-3-030-48076-9
Coleção: Lecture Notes in Computer Science
Vol.: 12071
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Experiences on Teaching Alloy with an Automated Assessment PlatformImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Nuno Macedo (Autor) (FEUP); Alcino Cunha (Autor) (Outra); José Pereira (Autor) (Outra); Renato Carvalho (Autor) (Outra); Ricardo Silva (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP); Miguel Sozinho Ramalho (Autor) (Outra); Daniel Silva (Autor) (Outra)
Validating Multiple Variants of an Automotive Light System with ElectrumImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Liu, C (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-07-24 às 20:29:42 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias