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

Зеленов С.В., Зеленова С.А. Моделирование программно-аппаратных систем и анализ их безопасности. Труды Института системного программирования РАН. 2017;29(5):257-282. https://doi.org/10.15514/ISPRAS-2017-29(5)-13

For citation:

Zelenov S.V., Zelenova S.A. Modeling and Risk Analysis of Hardware-Software Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(5):257-282. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(5)-13