Lebedev Dmitriy Alekseyevich

Publications in Math-Net.Ru

1. Test environment for verification of multi-processor interrupt system with virtualization support
   
   Proceedings of ISP RAS, 32:2 (2020),  53–60
2. Test environment for verification of multi-processor memory subsystem unit
   
   Proceedings of ISP RAS, 31:3 (2019),  67–76
3. Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
   
   Proceedings of ISP RAS, 30:3 (2018),  183–194