Подробное описание документа

Статья

Можаров Г. П., Парфилов И. В.
Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN / Можаров Г. П., Парфилов И. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 86-94.

УДК
004.05 Качество систем и программ

Авторы МГТУ

Можаров Геннадий Петрович

Статья опубликована в следующих изданиях

с. 86-94

Журнал

Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение.
Спец. вып. Моделирование и идентификация. - 2012.

подробнее