Куцевол Виталий Николаевич

Публикации в базе данных Math-Net.Ru

1. Test environment for verification of multi-processor interrupt system with virtualization support
   
   Труды ИСП РАН, 32:2 (2020),  53–60
2. An approach to direct memory access module verification
   
   Труды ИСП РАН, 27:3 (2015),  139–148