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