|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Метод масштабируемой верификации Promela-моделей протоколов когерентности кэш-памятистатья
- Авторы: Буренков В.С., Камкин А.С.
- Журнал: Проблемы разработки перспективных микро- и наноэлектронных систем МЭС
- Год издания: 2016
- Издательство: Институт проблем проектирования в микроэлектронике РАН
- Местоположение издательства: Москва
- Первая страница: 54
- Последняя страница: 60
- Добавил в систему: Корныхин Евгений Валерьевич