A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Some Controversies Around Formalization in Architecture
https://orcid.org/http://orcid.org/0000-0002-1877-0332
Formal Methods is a designation that has its origin in the computer sciences, where it is widely used. Due to the increasing importance of computer systems, and their growth in scope and complexity, formal methods are expanding within these disciplines.
Some Controversies Around Formalization in Architecture
https://orcid.org/http://orcid.org/0000-0002-1877-0332
Formal Methods is a designation that has its origin in the computer sciences, where it is widely used. Due to the increasing importance of computer systems, and their growth in scope and complexity, formal methods are expanding within these disciplines.
Some Controversies Around Formalization in Architecture
https://orcid.org/http://orcid.org/0000-0002-1877-0332
Formal Methods is a designation that has its origin in the computer sciences, where it is widely used. Due to the increasing importance of computer systems, and their growth in scope and complexity, formal methods are expanding within these disciplines.
Some Controversies Around Formalization in Architecture
Digital Innovations in
Mora, Plácido Lizancos (editor) / Viana, David Leite (editor) / Morais, Franklim (editor) / Vieira Vaz, Jorge (editor) / Mora, Plácido Lizancos (author) / Ruivo, Catarina (author) / Viana, David Leite (author) / Morais, Franklim (author) / Vieira Vaz, Jorge (author) / López-Chao, Vicente (author)
International Symposium on Formal Methods in Architecture ; 2022 ; Galicia, Spain
2023-08-02
12 pages
Article/Chapter (Book)
Electronic Resource
English
Some Controversies Around Formalization in Architecture
| TIBKAT | 2023
Mapping Controversies in Architecture
| British Library Online Contents | 2014
Mapping Controversies in Architecture
| Taylor & Francis Verlag | 2014
Mapping controversies in architecture
| UB Braunschweig | 2012