Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи
Ескіз недоступний
Дата
2024
Автори
Морозов, К. В.
Шурига, О. В.
Поліщук, О. П.
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
Бібліографічний опис
Морозов, К. В. Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи / Морозов К. В., Шурига О. В., Поліщук О. П. // Прикладна математика та комп’ютинг ПМК' 2024 : збірник тез доповідей Сімнадцятої конференції магістрантів та аспірантів (20-22 листопада 2024 р. Київ, Україна). – Київ, 2024. – С. 637-640.