Як користуватися пошуком
Знайдено документів: 37
НДДКР ОК
Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки
Керівник: Летичевський Олександр Адольфович. Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАНУ. № 0219U004138
НДДКР ОК
Розробити нові методи та засоби ефективної верифікації та розробки складних інформаційних систем на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту
Керівник: Летичевський Олександр Адольфович. Розробити нові методи та засоби ефективної верифікації та розробки складних інформаційних систем на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту. (Етап: ). Інститут кібернетики ім.В.М.Глушкова НАН України. № 0218U002522
НДДКР ОК
Розробити методи добування даних і знань із застосуванням інтелектуальних агентів у надвеликих і гетерогенних сховищах даних із верифікацією дедуктивними методами створюваних агентів.
Керівник: Летичевський Олександр Адольфович. Розробити методи добування даних і знань із застосуванням інтелектуальних агентів у надвеликих і гетерогенних сховищах даних із верифікацією дедуктивними методами створюваних агентів.. (Етап: ). Інститут кібернетики ім.В.М.Глушкова НАН України. № 0217U000712
НДДКР РК
Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки.
Керівник: Летичевський Олександр Адольфович. Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки.. Інститут кібернетики ім. В.М.Глушкова НАНУ. № 0116U004559
НДДКР ОК
Розробити алгоритми верифікації структурованих систем з мобільними агентами.
Керівник: Летичевський Олександр Адольфович. Розробити алгоритми верифікації структурованих систем з мобільними агентами.. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0216U003108
НДДКР ОК
Когнітивна архітектура для розуміння програмних систем
Керівник: Летичевський Олександр Адольфович. Когнітивна архітектура для розуміння програмних систем. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0215U004851
Дисертація докторська
Методи реалізації систем інсерційного моделювання
2
Песчаненко Володимир Сергійович. Методи реалізації систем інсерційного моделювання : д.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2015-11-13; Статус: Захищена; Інститут кібернетики ім. В.М.Глушкова НАН України. – , 0515U000890.
Дисертація кандидатська
Інсерційне моделювання та верифікація багатопотокових систем
1
Губа Антон Андрійович. Інсерційне моделювання та верифікація багатопотокових систем : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2015-11-13; Статус: Захищена; Інститут кібернетики ім. В.М.Глушкова НАН України. – , 0415U006115.
Дисертація докторська
Розробка і дослідження методів аналізу автоматних моделей, визначених на алгебраїчних структурах.
1
Скобелєв Володимир Володимирович. Розробка і дослідження методів аналізу автоматних моделей, визначених на алгебраїчних структурах. : д.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2015-05-14; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0515U000364.
НДДКР РК
Когнітивна архітектура для розуміння програмних систем.
Керівник: Летичевський Олександр Адольфович. Когнітивна архітектура для розуміння програмних систем.. Інститут кібернетики імені В.М. Глушкова НАН України. № 0114U001640
Знайдено документів: 37

Оновлено: 2026-10-27


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