Знайдено документів: 1
Інформація × Реєстраційний номер 0824U002425, Дисертація доктора філософії На здобуття Доктор філософії Дата захисту 29-06-2024 Статус Наказ про видачу диплома Назва роботи Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури Здобувач Пшеничний Кирило Кирило Юрійович, Керівник Шкіль Олександр Сергійович Опонент Пархоменко Анжеліка Володимирівна Опонент Леонов Сергій Юрійович Рецензент Барковська Олеся Юріївна Рецензент Токарєв Володимир Володимирович Опис У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу. Дата реєстрації 2024-07-03 Додано в НРАТ 2024-07-03 Закрити
Дисертація доктор філос.
Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури
2
Пшеничний Кирило Кирило Юрійович. Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури : Доктор філософії : спец.. 123 - Комп’ютерна інженерія : дата захисту 2024-06-29; Статус: Наказ про видачу диплома; Харківський національний університет радіоелектроніки. – Харків, 0824U002425.
Знайдено документів: 1

Оновлено: 2026-03-16


Роздрукувати цю сторінку