Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Поиск по ключевому слову "формальные методы"


Проблемы параметризованной верификации протоколов когерентности памяти

Опубликовано: 18.11.2013

Авторы: Буренков В.С., Иванов С.Р.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1013

Раздел: Информационные технологии