Харківський національний університет Повітряних Сил імені Івана Кожедуба
Наукові видання
Видання
Тематика
Автори
ТОП-50 авторів
ТОП СтАттей
Співпраця
Співпраця
Пошук
ENG
Наука
Автори
Политько Е. И.
Политько Е. И.
Цитованість автора
Публікації автора
Назва публікації
Автори публікації
Назва журналу
Рік / Випуск
Метод формальной верификации UMC: UML Model Checking.
Е.И. Политько, О.М. Тарасюк, А.В. Горбенко
Системи обробки інформації
2013
/
№ 1
© Ivan Kozhedub Kharkiv National Air Force University | Харківський національний університет Повітряних Сил