Nikitin, D. 2023. SPECIFICATION FORMALIZATION OF STATE CHARTS FOR COMPLEX SYSTEM MANAGEMENT. Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies. 1 (9) (Jul. 2023), 104–109. DOI:https://doi.org/10.20998/2079-0023.2023.01.16.