Software architecture: from modelling to automated validation within Bosch Thermotechnology João Pedro da Silva Lajoso Publication Year of Publication: 2021 Lajoso, J. P. da S. (2021). Software architecture: from modelling to automated validation within Bosch Thermotechnology. Identifiers Other Numbers: http://hdl.handle.net/10773/32378 Locators Alternative titles Google ScholarBibTeXRIS