TY - JOUR BT - Вісник Харківського національного університету LA - eng PY - 2010 T2 - Вісник Харківського національного університету TI - Модели многоверсионных вычислений и их обобщение для отказоустойчивых систем VL - 890 ER -