Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

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

   Статья

Андреев А. М., Козлов И. А.
   Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 47-60.

519.68 (Программирование и теория вычислительных машин)

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

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