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

Статья

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

Авторы МГТУ

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

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

с. 54-58

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

подробнее