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

Горелиц Н.К., Гукова А.С., Песков Е.В. Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности. Труды Института системного программирования РАН. 2018;30(4):63-78. https://doi.org/10.15514/ISPRAS-2018-30(4)-4

For citation:

Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):63-78. https://doi.org/10.15514/ISPRAS-2018-30(4)-4