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), 104–109. https://doi.org/10.20998/2079-0023.2023.01.16