Райчев ИЭ, Харченко АГ. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Proceedings of National Aviation University [Internet]. 2001 Sep. 27 [cited 2024 Jul. 18];10(3):136-40. Available from: https://jrnl.nau.edu.ua/index.php/visnik/article/view/12161