Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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 (Herausgeber:in) / Viana, David Leite (Herausgeber:in) / Morais, Franklim (Herausgeber:in) / Vieira Vaz, Jorge (Herausgeber:in) / Mora, Plácido Lizancos (Autor:in) / Ruivo, Catarina (Autor:in) / Viana, David Leite (Autor:in) / Morais, Franklim (Autor:in) / Vieira Vaz, Jorge (Autor:in) / López-Chao, Vicente (Autor:in)
International Symposium on Formal Methods in Architecture ; 2022 ; Galicia, Spain
02.08.2023
12 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
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