For citations:

Liakh T.V., Zyubin V.E., Garanina N.O. AUTOMATIC VERIFICATION OF CONTROL ALGORITHMS FOR COMPLEX TECHNOLOGICAL OBJECTS ON SOFTWARE SIMULATORS. Vestnik NSU. Series: Information Technologies. 2018;16(4):85-94. (In Russ.) https://doi.org/10.25205/1818-7900-2018-16-4-85-94