TY JOUR TI FORMALIZATION OF GEOSPATIAL DATA AND DIGITAL INFORMATIONAL MODEL SYNCHRONIZATION PROCEDURE KW geospatial data KW digital informational models KW synchronization KW oil and gas sector KW GIS KW BIM KW IFC KW import substitution JO Automation and modeling in design and management AU Krivosheev, D.A. AU Blinova, D.V. PY 2025 IS 2025 PB Bryansk State Technical University