|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
D. A. Lebedev, V. N. Kutsevol, “Test environment for verification of multi-processor interrupt system with virtualization support”, Труды ИСП РАН, 32:2 (2020), 53–60  |
|
2019 |
| 2. |
D. A. Lebedev, M. V. Petrochenkov, “Test environment for verification of multi-processor memory subsystem unit”, Труды ИСП РАН, 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”, Труды ИСП РАН, 30:3 (2018), 183–194 |
|
Обратная связь: