Муштаков Р Е

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

1. Verification of system on chip integrated communication controllers
   
   Труды ИСП РАН, 30:3 (2018),  195–206
2. Verification of 10 Gigabit Ethernet controllers
   
   Труды ИСП РАН, 29:4 (2017),  257–268
3. Approaches to stand-alone verification of multicore microprocessor caches
   
   Труды ИСП РАН, 28:3 (2016),  161–172