Штовба, С. Д. ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ АЛГОРИТМИЧЕСКИХ ПРОЦЕССОВ МЕТОДАМИ СОФТ-КОМПЬЮТИНГА. Труды ВНТУ 2011.