Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > RIGOROUS STATE-BASED METHODS, ABZ 2023
Publication

Publications

RIGOROUS STATE-BASED METHODS, ABZ 2023

Title
RIGOROUS STATE-BASED METHODS, ABZ 2023
Type
International Conference Proceedings Book
Year
2023
Conference International
9th International Conference on Rigorous State-Based Methods (ABZ)
Nancy, FRANCE, MAY 30-JUN 02, 2023
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-3-031-33162-6; 978-3-031-33163-3
Electronic ISBN: 978-3-031-33162-6
Collection: Lecture Notes in Computer Science
Vol.: 14010
Documents
We could not find any documents associated to the publication.
Publications included
Adding Records to AlloyImported from Authenticus
Article in International Conference Proceedings Book
Brunel, J (Author) (Other); Chemouil, D (Author) (Other); Cunha, A (Author) (Other); Macedo, N (Author) (FEUP)
2023
Indexing
Task Model Design and Analysis with AlloyImported from Authenticus
Article in International Conference Proceedings Book
Cunha, A (Author) (Other); Macedo, N (Author) (FEUP); Kang, E (Author) (Other)
2023
Indexing
Verifying Temporal Relational Models with PardinusImported from Authenticus
Article in International Conference Proceedings Book
Macedo, N (Author) (FEUP); Brunel, J (Author) (Other); Chemouil, D (Author) (Other); Cunha, A (Author) (Other)
2023
Indexing
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-15 at 23:18:56 | Privacy Policy | Personal Data Protection Policy | Whistleblowing