Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy.

Thu, 01 Jan 2015 00:00:00 +0100

Bogdan Y. Volochiy, Oleksandr Mulyak, Vyacheslav S. Kharchenko:
Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy. ICTERI 2015: 462-475