Дімітрієва, Дар'я Олександрівна, Факультет інформаційних технологій, Україна

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