Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
система транзиційна, система транзиционная
Документи:
- Метод сематичної верифікації застосувань у технології GPGU (англ.м.) [Текст] / С. Л. Кривий, С. Д. Погорілий, М. С. Синько, А. А. Крамов // Системні дослідження та інформаційні технології. – 2020. – № 3. – С. 7-22.
- Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования [Текст] / С. Л. Крывый, Ю. В. Бойко, С. Д. Погорелый [и др.] // Кибернетика и системный анализ. – 2017. – Т. 53, № 1. – С. 122-133.
- Крывый, С. Л. Экосистемы программной инженерии [Текст] / С. Л. Крывый, Е. А. Гриненко // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 128-143.
- Погорілий, С. Д. Проектування та модельне обґрунтування застосувань на основі відеоадаптерів [Текст] / С. Д. Погорілий, С. Л. Кривий, М. С. Слинько // Управляющие системы и машины. – 2018. – № 4. – С. 46-56.
- Погорілий, С. Д. Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах [Текст] / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 196-202.
|