Сак, Владислав Іванович
(Івано-Франківськ: ЗВО "Університет Короля Данила", факультет суспільних і прикладних наук, кафедра інформаційних технологій, 2024)
Кваліфікаційна робота присвячена виконанню імплементації формальних моделей оптимізації методів побудови адаптивних розподілених систем шляхом розробки шаблонів специфікації поведінки для моделювання контурів зворотного ...