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

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

ЗАО "МЦСТ"

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

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

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

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