Pezzica, Camilla ORCID: https://orcid.org/0000-0002-0512-7591, Cutini, Valerio, Bleil De Souza, Clarice ORCID: https://orcid.org/0000-0001-7823-1202 and Santucci, Alessandro
2021.
Adapting analysis workflows to humanitarian needs: different road network models and tools.
Presented at: 5th International Symposium Formal Methods in Architecture (5FMA),
Lisbon, Portugal,
13-16 October 2020.
Published in: Eloy, Sara, Leite Viana, David, Morais, Franklim and Vieira Vaz, Jorge eds.
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.
Advances in Science, Technology & Innovation
Springer International Publishing,
Item availability restricted. |
PDF
- Accepted Post-Print Version
Restricted to Repository staff only Download (1MB) |
Official URL: http://www.archformalmethods.eu/
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Date Type: | Publication |
Status: | Published |
Schools: | Architecture |
Publisher: | Springer International Publishing |
ISBN: | 9783030575083 |
ISSN: | 2522-8714 |
Date of First Compliant Deposit: | 11 December 2020 |
Date of Acceptance: | 6 May 2020 |
Last Modified: | 27 Mar 2023 06:20 |
URI: | https://orca.cardiff.ac.uk/id/eprint/132283 |
Actions (repository staff only)
Edit Item |