Preview

Вопросы радиоэлектроники

Расширенный поиск

Информация о разделе


ВЕРИФИКАЦИЯ

 
Выпуск Название
 
№ 3 (2016) О КОНСЕРВАТИВНОМ ПРЕОБРАЗОВАНИИ ФОРМАЛЬНЫХ МОДЕЛЕЙ, ИСПОЛЬЗУЕМЫХ ПРИМЕНИТЕЛЬНО К МАСШТАБИРУЕМЫМ СИСТЕМАМ ДЛЯ ВЕРИФИКАЦИИ ПРОТОКОЛОВ КОГЕРЕНТНОСТИ ПАМЯТИ Аннотация   PDF (Rus)
В. С. Буренков
 
№ 3 (2016) МЕТОДИКА АВТОНОМНОЙ ВЕРИФИКАЦИИ УСТРОЙСТВ ПОДСИСТЕМЫ ПАМЯТИ МНОГОЯДЕРНЫХ МИКРОПРОЦЕССОРОВ Аннотация   PDF (Rus)
М. В. Петроченков, И. А. Стотланд
 
1 - 2 из 2 результатов