Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90154| Título: | Rigorous state-based methods: 9th International Conference, ABZ 2023 |
| Editor(es): | Glässer, Uwe Campos, José C. Méry, Dominique Palanque, Philippe |
| Data: | 2023 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science (LNCS) |
| Resumo(s): | [Excerpt] Preface The International Conference on Rigorous State-Based Methods (ABZ 2023) was an international forum for the cross-fertilization of related state-based and machine-based formal methods, mainly Abstract StateMachines (ASM), Alloy, B, TLA +, VDM and Z. Rigorous state-based methods share common conceptual foundations and are widely used in both academia and industry for the design and analysis of hardware and software systems.[...] |
| Tipo: | Atas de conferência |
| URI: | https://hdl.handle.net/1822/90154 |
| ISBN: | 978-3-031-33162-6 |
| e-ISBN: | 978-3-031-33163-3 |
| DOI: | 10.1007/978-3-031-33163-3 |
| ISSN: | 0302-9743 |
| e-ISSN: | 1611-3349 |
| Versão da editora: | https://link.springer.com/book/10.1007/978-3-031-33163-3 |
| Arbitragem científica: | yes |
| Acesso: | Acesso restrito autor |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| P-00Y-FRF.pdf Acesso restrito! | 119,07 kB | Adobe PDF | Ver/Abrir |
