Model checking of a two-component system with parallel connection of components
On the base of semi-markov process with overall space two-component system with parallel connection of components mathematical the model of control hidden failures were constructed. Reliable functioning characteristics were found.