Подробное описание документа

Буренков В. С., Иванов С. Р.
   Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем / Буренков В. С., Иванов С. Р. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2017. - № 1. - С. 49-66.

УДК

004.052.42 Обнаружение ошибок.

Авторы МГТУ

• Иванов Сергей Ростиславович

Статья опубликована в следующих изданиях