"Модели многоверсионных вычислений и их обобщение для отказоустойчивых систем."Вісник Харківського національного університету890(2010):