|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
D. A. Lebedev, V. N. Kutsevol, “Test environment for verification of multi-processor interrupt system with virtualization support”, Proceedings of ISP RAS, 32:2 (2020), 53–60  |
|
2019 |
| 2. |
D. A. Lebedev, M. V. Petrochenkov, “Test environment for verification of multi-processor memory subsystem unit”, Proceedings of ISP RAS, 31:3 (2019), 67–76  |
1
|
|
2018 |
| 3. |
D. A. Lebedev, I. A. Stotland, “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 |
|
Contact us: