RUS
ENG
Full version
PEOPLE
Kutsevol Vitalii Nikolayevich
Publications in Math-Net.Ru
Test environment for verification of multi-processor interrupt system with virtualization support
Proceedings of ISP RAS
,
32
:2 (2020),
53–60
An approach to direct memory access module verification
Proceedings of ISP RAS
,
27
:3 (2015),
139–148
©
Steklov Math. Inst. of RAS
, 2024