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: | 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 |





Download Statistics
Download Statistics