|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
M. V. Petrochenkov, R. E. Mushtakov, D. I. Shpagilev, “Verification of system on chip integrated communication controllers”, Труды ИСП РАН, 30:3 (2018), 195–206 |
|
2017 |
2. |
M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland, “Verification of 10 Gigabit Ethernet controllers”, Труды ИСП РАН, 29:4 (2017), 257–268 |
|
2016 |
3. |
Mikhail Petrochenkov, Irina Stotland, Ruslan Mushtakov, “Approaches to stand-alone verification of multicore microprocessor caches”, Труды ИСП РАН, 28:3 (2016), 161–172 |
1
|
|