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

КАРНОВ А.А. Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации. Труды Института системного программирования РАН. 2024;36(4):169-182. https://doi.org/10.15514/ISPRAS-2024-36(4)-13

For citation:

KARNOV A.A. Uncertainty Problem in High-Level Model-Based Trace Analysis as Part of Runtime Verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2024;36(4):169-182. (In Russ.) https://doi.org/10.15514/ISPRAS-2024-36(4)-13