For citations:
Lavrischeva E.M., Zelenov S.V., Pakulin N.V. Methods for assessing the reliability of software and hardware systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(5):95-108. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(5)-7