Navegação por Assunto "Automatized Model Checker"
Resultados 1-1 de 1
-
Análise dos requisitos de informações para implementação de ferramenta de verificação em projetos BIM
(2022) [Trabalho de conclusão de graduação]A compatibilização de todas as disciplinas é um dos maiores desafios no desenvolvimento de projetos de engenharia. Com o advento do BIM (Building Information Modeling), a visualização do projeto através de modelos 3D ...