Для цитирования:

Лях Т.В., Зюбин В.Е., Гаранина Н.О. АВТОМАТИЗИРОВАННАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ СЛОЖНЫМИ ТЕХНОЛОГИЧЕСКИМИ ОБЪЕКТАМИ НА ПРОГРАММНЫХ ИМИТАТОРАХ. Вестник НГУ. Серия: Информационные технологии. 2018;16(4):85-94. https://doi.org/10.25205/1818-7900-2018-16-4-85-94

For citation:

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