@article{Losev2022formalization, author={Losev, Y.G. and Losev, K.Y.}, title={FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES}, journal={Construction and Architecture}, publisher={Publishing Center RIOR}, year={2022}, pages={86-90}, volume={10}, issue={4}, }