Ryzhov M. 

Publications in Math-Net.Ru

1. An approach to direct memory access module verification
   
   Proceedings of ISP RAS, 27:3 (2015),  139–148