Мережі Петрі як інструмент тестування програмних продуктів
Вантажиться...
Дата
2018
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
Національний технічний університет "Харківський політехнічний інститут"
Анотація
Опис
Ключові слова
програмний засіб, тестування, модель, покриття, програмна реалізація
Бібліографічний опис
Бреславець О. Ю. Мережі Петрі як інструмент тестування програмних продуктів / О. Ю. Бреславець, О. П. Черних // Інформатика, управління та штучний інтелект : матеріали 5-ї міжнар. наук.-техн. конф. студентів, магістрів та аспірантів, 20-22 листопада 2018 р. / наук. ред. В. Д. Дмитрієнко ; Нац. техн. ун-т "Харків. політехн. ін-т". – Харків : НТУ "ХПІ", 2018. – С. 15.