Лебедев Дмитрий Алексеевич

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

1. Test environment for verification of multi-processor interrupt system with virtualization support
   
   Труды ИСП РАН, 32:2 (2020),  53–60
2. Test environment for verification of multi-processor memory subsystem unit
   
   Труды ИСП РАН, 31:3 (2019),  67–76
3. Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
   
   Труды ИСП РАН, 30:3 (2018),  183–194