Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Publication

Publications

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Title
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Type
International Conference Proceedings Book
Year
2018
Conference International
6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018
5 June 2018 through 8 June 2018
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-3-319-91270-7
Electronic ISBN: 978-3-319-91270-7
Collection: Lecture Notes in Computer Science
Vol.: 10817
Documents
We could not find any documents associated to the publication.
Publications included
Proposition of an Action Layer for ElectrumImported from Authenticus
Article in International Conference Proceedings Book
Brunel, J (Author) (Other); Chemouil, D (Author) (Other); Cunha, A (Author) (Other); Hujsa, T (Author) (Other); Macedo, N (Author) (Other); Tawa, J (Author) (Other)
2018
Indexing
Validating the Hybrid ERTMS/ETCS Level 3 Concept with ElectrumImported from Authenticus
Article in International Conference Proceedings Book
Cunha, A (Author) (Other); Macedo, N (Author) (Other)
2018
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-23 at 00:39:01 | Privacy Policy | Personal Data Protection Policy | Whistleblowing