Go to:
Logótipo
You are here: Start > Publications > View > Alloy meets TLA+: An exploratory study
B-On anuncia condições para publicação em Acesso Aberto no triénio 2025-2027
Publication

Alloy meets TLA+: An exploratory study

Title
Alloy meets TLA+: An exploratory study
Type
Other Publications
Year
2016
Authors
Macedo, N
(Author)
Other
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Cunha, A
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Other information
Authenticus ID: P-00K-AR6
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Sharing and Learning Alloy on the Web (2019)
Other Publications
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)
Article in International Scientific Journal
Cunha, A; Macedo, N
Validating multiple variants of an automotive light system with Alloy 6 (2024)
Article in International Scientific Journal
Cunha, A; Macedo, N; Liu, C
Pardinus: A Temporal Relational Model Finder (2022)
Article in International Scientific Journal
Macedo, N; Brunel, J; Chemouil, D; Cunha, A
Least-change bidirectional model transformation with QVT-R and ATL (2016)
Article in International Scientific Journal
Macedo, N; Cunha, A

See all (36)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2025-06-26 at 19:41:15 | Acceptable Use Policy | Data Protection Policy | Complaint Portal