Preview

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

Расширенный поиск
Полноэкранный режим

Для цитирования:


Буренков В.С. О КОНСЕРВАТИВНОМ ПРЕОБРАЗОВАНИИ ФОРМАЛЬНЫХ МОДЕЛЕЙ, ИСПОЛЬЗУЕМЫХ ПРИМЕНИТЕЛЬНО К МАСШТАБИРУЕМЫМ СИСТЕМАМ ДЛЯ ВЕРИФИКАЦИИ ПРОТОКОЛОВ КОГЕРЕНТНОСТИ ПАМЯТИ. Вопросы радиоэлектроники. 2016;(3):48-52.

For citation:


Burenkov V. ON CONSERVATIVE TRANSFORMATIONS OF FORMAL MODELS OF CACHE COHERENCE PROTOCOLS USED IN SCALABLE SYSTEMS. Issues of radio electronics. 2016;(3):48-52. (In Russ.)

Просмотров: 7


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2218-5453 (Print)
ISSN 2686-7680 (Online)