Михнич, Борис Борисович, Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського, Ukraine
-
Інженерія програмного забезпечення Том 1 № 1 (2010) - ТЕСТУВАННЯ, ВАЛІДАЦІЯ ТА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
ФОРМАЛЬНА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ АВТОМАТИЗАЦІЇ ВИПРОБУВАНЬ СИСТЕМ КОСМІЧНИХ АПАРАТІВ
Анотація PDF