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

Ciência_Iscte Publicações Descrição Detalhada da Publicação

Capítulo de livro

Catarina Ruivo (Ruivo, C.); Morais, Franklim (Morais, Franklim); Flores, Joaquim de Moura (Flores, Joaquim de Moura); Jorge Vieira Vaz (Vaz, J. V.);

Título Livro

Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture

Ano (publicação definitiva)

2023

Língua

Inglês

País

Mais Informação

Visitar Link

Web of Science®

N.º de citações: 0

(Última verificação: 2026-07-08 10:50)

Scopus

Esta publicação não está indexada na Scopus

Google Scholar

N.º de citações: 0

(Última verificação: 2026-07-05 09:12)

Overton

Esta publicação não está indexada no Overton

Abstract/Resumo

Agradecimentos/Acknowledgements

Palavras-chave

Identificadores da Publicação

Outros Detalhes da Publicação