Дисертація доктор філос.
Пшеничний Кирило Кирило Юрійович. Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури
: Доктор філософії :
спец.. 123 - Комп’ютерна інженерія :
дата захисту 2024-06-29; Статус: Наказ про видачу диплома;
Харківський національний університет радіоелектроніки. – Харків,
0824U002425.
Оновлено: 2026-10-24