Форма документа : Стаття із журналу Шифр видання : Автор(и) : Погорілий С. Д., Слинько М. С. Назва : Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2020. - № 4. - С. 196-202. - ISSN 0023-1274 (Шифр К499224528/2020/4). - ISSN 0023-1274 Примітки : Бібліогр. в кінці ст. Ключові слова (''Вільн.індекс.''): транзиційні системи--системи алгоритмічних алгебр--gpgpu-системи--мережі петрі Дод.точки доступу: Слинько, М. С.