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

Буздалов Д.В., Зеленов С.В., Корныхин Е.В., Петренко А.К., Страх А.В., Угненко А.А., Хорошилов А.В. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды Института системного программирования РАН. 2014;26(1):201-230. https://doi.org/10.15514/ISPRAS-2014-26(1)-6

For citation:

Buzdalov D.V., Zelenov S.V., Kornykhin E.V., Petrenko A.K., Strakh A.V., Ugnenko A.A., Khoroshilov A.V. Tools for System Design of Integrated Modular Avionics. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(1):201-230. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(1)-6