Фролов Павел Викторович

Публикации в базе данных Math-Net.Ru

1. An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
   
   Труды ИСП РАН, 34:2 (2022),  7–16
2. Approach to test program development for multilevel verification
   
   Труды ИСП РАН, 31:3 (2019),  59–66
3. An approach to direct memory access module verification
   
   Труды ИСП РАН, 27:3 (2015),  139–148