For citations:

Kutsevol V., Meshkov A., Ryzhov M., Frolov P. An approach to Direct Memory Access module verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):139-148. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-10