Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Merging Cloned Alloy Models with Colorful Refactorings

Merging Cloned Alloy Models with Colorful Refactorings

Título
Merging Cloned Alloy Models with Colorful Refactorings
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2020
Autores
Liu, C
(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
Macedo, N
(Autor)
FEUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Cunha, A
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Ver página do Authenticus Sem ORCID
Ata de Conferência Internacional
Páginas: 173-191
23rd Brazilian Symposium on Formal Methods, SBMF 2020
25 November 2020 through 27 November 2020
Outras Informações
ID Authenticus: P-00Y-8Z3
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Validating multiple variants of an automotive light system with Alloy 6 (2024)
Artigo em Revista Científica Internacional
Cunha, A; Macedo, N; Liu, C
Validating Multiple Variants of an Automotive Light System with Electrum (2020)
Artigo em Livro de Atas de Conferência Internacional
Cunha, A; Macedo, N; Liu, C
Simplifying the Analysis of Software Design Variants with a Colorful Alloy (2019)
Artigo em Livro de Atas de Conferência Internacional
Liu, C; Macedo, N; Cunha, A
Merging cloned Alloy models with colorful refactorings (2022)
Artigo em Livro de Atas de Conferência Internacional
Liu, C; Macedo, N; Cunha, A
Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-30 às 13:46:33 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico