(1)
Штовба, С. Д. ЗАБЕЗПЕЧЕННЯ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ МЕТОДАМИ СОФТ-КОМП’ЮТИНГУ. НаукПраці ВНТУ 2011.