For citations:
Nyrkov A.P., Korotkov V.V., Gaskarov V.D. Formalization of the structural complexity of software as a factor in the design assessment of its reliability. Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova. 2025;17(4):613-620. (In Russ.) https://doi.org/10.21821/2309-5180-2025-17-4-613-620. EDN: ZFQGEC