Technique of Automated Construction of States and Transitions Graph for the Analysis of Technical Systems Reliability.

Yuriy Bobalo, Vitaliy Yakovyna, Maksym Seniv, Ivan Symets

Browse the full CSIT paper archive.