Availability Assessment of Information and Control Systems with Online Software Update and Verification Publication Type: Journal Article Authors: Vyacheslav Kharchenko; Yuriy Ponochovnyi; Artem Boyarchuk Source: Information and Communication Technologies in Education, Research, And Industrial Applications, Volume 469, p.300-324 (2014)