%0 Journal Article %T Алгоритмы автоматизированной проверки соответствия BIM-моделей нормативным требованиям: вычислительная сложность, экономическая эффективность разработки и снижение рисков проектирования %A Бороздина, С.М. %A Едленко, В.П. %K BIM, автоматизированная проверка, алгоритмы верификации, вычислительная сложность, экономическая эффективность, нормоконтроль %J Строительство и архитектура %D 2026 %N 14 %P 0 %I ООО "Издательский Центр РИОР"