Морозов, К. В.Шурига, О. В.Поліщук, О. П.2025-01-202025-01-202024Морозов, К. В. Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи / Морозов К. В., Шурига О. В., Поліщук О. П. // Прикладна математика та комп’ютинг ПМК' 2024 : збірник тез доповідей Сімнадцятої конференції магістрантів та аспірантів (20-22 листопада 2024 р. Київ, Україна). – Київ, 2024. – С. 637-640.https://ela.kpi.ua/handle/123456789/72057ukПро застосування формального методу для визначення станів процесорів небазової багатопроцесорної системиOn the application of the formal method for determining processor states of a non-basic fault tolerant multiprocessor systemArticleС. 637-640519.718