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

Поиск по ключевому слову "синхронизация потоков"


Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN

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

Авторы: Можаров Г.П., Парфилов И.В.

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

DOI: 10.18698/2308-6033-2012-11-481

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети