|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
1. |
M. V. Petrochenkov, R. E. Mushtakov, D. I. Shpagilev, “Verification of system on chip integrated communication controllers”, Proceedings of ISP RAS, 30:3 (2018), 195–206 |
|
2017 |
2. |
M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland, “Verification of 10 Gigabit Ethernet controllers”, Proceedings of ISP RAS, 29:4 (2017), 257–268 |
|
2016 |
3. |
Mikhail Petrochenkov, Irina Stotland, Ruslan Mushtakov, “Approaches to stand-alone verification of multicore microprocessor caches”, Proceedings of ISP RAS, 28:3 (2016), 161–172 |
1
|
|