Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space

• Autores: Catarina Ruivo Pereira, Franklim Morais, Joaquim Flores, Jorge Vieira
• Localización: Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 / Plácido Lizancos (ed. lit.), David Leite Viana (ed. lit.), Franklim Morais (ed. lit.), Jorge Vieira (aut.), 2023, ISBN 978-981-99-2216-1, págs. 115-144
• Idioma: inglés
• Texto completo no disponible (Saber más ...)