D. A. Lebedev, V. N. Kutsevol, “Test environment for verification of multi-processor interrupt system with virtualization support”, Труды ИСП РАН, 32:2 (2020), 53–60
2015
2.
V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov, “An approach to direct memory access module verification”, Труды ИСП РАН, 27:3 (2015), 139–148
