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

Куцевол В.Н., Мешков А.Н., Рыжов М.П., Фролов П.В. Подход к верификации модуля прямого доступа к памяти. Труды Института системного программирования РАН. 2015;27(3):139-148. https://doi.org/10.15514/ISPRAS-2015-27(3)-10

For citation:

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