Яковина ВС, Сенів ММ, Симець ІІ. Засоби автоматизованого формулювання умов працездатності складних технічних систем. SBUNFU [інтернет]. 26, Грудень 2019 [цит. за 08, Червень 2026];29(9):136-41. доступний у: https://nv.nltu.edu.ua/index.php/journal/article/view/2086