Романкевич, О. М.Морозов, К. В.Шурига, О. В.2024-03-102024-03-102023Романкевич, О. М. Про вдосконалення формального методу визначення стану процесорів багатопроцесорної системи під час тестування / Романкевич О. М., Морозов К. В., Шурига О. В. // Прикладна математика та комп’ютинг ПМК' 2023 : збірник тез доповідей Шістнадцятої конференції магістрантів та аспірантів (28-30 листопада 2023 р. Київ, Україна). - Київ : КПІ ім. Ігоря Сікорського, 2023. - С. 358-363.https://ela.kpi.ua/handle/123456789/65380ukArticleС. 358-363