Шкарупило, Вадим Вікторович, Національний університет біоресурсів і природокористування України, Україна
-
XII МІЖНАРОДНА НАУКОВО-ПРАКТИЧНА КОНФЕРЕНЦІЯ МОЛОДИХ ВЧЕНИХ «ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ: ЕКОНОМІКА, ТЕХНІКА, ОСВІТА» - Комп'ютерні системи: Інтернет речей, вбудовані системи, архітектурні платформи
ОГЛЯД ІНСТРУМЕНТІВ ВИКОРИСТАННЯ ФОРМАЛЬНИХ МЕТОДІВ ТА ЗАСОБІВ ПРИ ПРОЄКТУВАННІ СИСТЕМ КРИТИЧНОГО ПРИЗНАЧЕННЯ
Тези доповіді