Для цитирования:
ЕФРЕМОВ Д.В., КОПАЧ В.В., КОРНЫХИН Е.В., КУЛЯМИН В.В., ПЕТРЕНКО А.К., ХОРОШИЛОВ А.В., ЩЕПЕТКОВ И.В. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы. Труды Института системного программирования РАН. 2021;33(6):15-26. https://doi.org/10.15514/ISPRAS-2021-33(6)-2
For citation:
EFREMOV D.V., KOPACH V.V., KORNYKHIN E.V., KULIAMIN V.V., PETRENKO A.K., KHOROSHILOV A.V., SHCHEPETKOV I.V. Runtime Verification of Operating Systems Based on Abstract Models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(6):15-26. (In Russ.) https://doi.org/10.15514/ISPRAS-2021-33(6)-2
Послать статью по эл. почте 