Туркін, Ігор Борисович, Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського, Ukraine

• Інженерія програмного забезпечення Том 1 № 1 (2010) - ТЕСТУВАННЯ, ВАЛІДАЦІЯ ТА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
  ФОРМАЛЬНА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ АВТОМАТИЗАЦІЇ ВИПРОБУВАНЬ СИСТЕМ КОСМІЧНИХ АПАРАТІВ
  Анотація  PDF