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

Bogdan Y. Volochiy, Oleksandr Mulyak, Vyacheslav S. Kharchenko

Browse the full ICTERI paper archive.