Дмитро, Поваляєв, Національний авіаційний університет, Ukraine

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