Você está em: Início > Publicações > Visualização > Alloy meets TLA+: An exploratory study

Mapa das Instalações

Publicação

Publicações

Alloy meets TLA+: An exploratory study

Título

Tipo

Outras Publicações

Data

2016

Título

Alloy meets TLA+: An exploratory study

Tipo

Outras Publicações

Ano

2016

Autores

Macedo, N

(Autor)

Outra

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

Outras Informações

ID Authenticus: P-00K-AR6

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

Sharing and Learning Alloy on the Web (2019)
Outras Publicações
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum (2020)
Artigo em Revista Científica Internacional
Cunha, A; Macedo, N

Validating multiple variants of an automotive light system with Alloy 6 (2024)
Artigo em Revista Científica Internacional
Cunha, A; Macedo, N; Liu, C

Pardinus: A Temporal Relational Model Finder (2022)
Artigo em Revista Científica Internacional
Macedo, N; Brunel, J; Chemouil, D; Cunha, A

Least-change bidirectional model transformation with QVT-R and ATL (2016)
Artigo em Revista Científica Internacional
Macedo, N; Cunha, A