For citations:
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
Email this article 