Для цитирования:

Лаврищева Е.М., Зеленов С.В., Пакулин Н.В. Методы оценки надежности программных и технических систем. Труды Института системного программирования РАН. 2019;31(5):95-108. https://doi.org/10.15514/ISPRAS-2019-31(5)-7

For citation:

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