Моисеев Михаил Юрьевич

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

1. Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC
   
   Модел. и анализ информ. систем, 18:4 (2011),  94–105