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

   Статья

Буренков В. С., Иванов С. Р.
   Проблемы формальной верификации технических систем / Буренков В. С., Иванов С. Р. // Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2012. - С. 45-53.

УДК

004.2/9(048.2)

Авторы МГТУ

• Иванов Сергей Ростиславович

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

с. 45-53

   Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М. : Изд-во НИИ радиоэлектроники и лазерной техники, 2012. - 200 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-4384-0011-0.

подробнее