|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
V. A. Agafonov, P. V. Frolov, A. N. Meshkov, “An approach to test program generation for memory coherence verification of “Elbrus” microprocessors”, Труды ИСП РАН, 34:2 (2022), 7–16 |
|
2019 |
2. |
P. V. Frolov, “Approach to test program development for multilevel verification”, Труды ИСП РАН, 31:3 (2019), 59–66 |
|
2015 |
3. |
V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov, “An approach to direct memory access module verification”, Труды ИСП РАН, 27:3 (2015), 139–148 |
|