Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Буренков В.С.

АО "МЦСТ"

Листинг всех работ автора. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2016 
  Камкин А.С., Буренков В.С.
Метод масштабируемой верификации PROMELA-моделей протоколов когерентности кэш-памяти
 

Copyright © 2009-2024 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН