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

Троицкий А.М., Буздалов Д.В. Способ статической оценки времени работы компонентов AADL-моделей. Труды Института системного программирования РАН. 2016;28(2):157-172. https://doi.org/10.15514/ISPRAS-2016-28(2)-10

For citation:

Troitskiy A.M., Buzdalov D.V. A static approach to estimation of execution time of components in AADL models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(2):157-172. https://doi.org/10.15514/ISPRAS-2016-28(2)-10