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

   Статья в журнале

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

УДК

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

Авторы МГТУ

• Андреев Арк Михайлович
• Козлов Илья Андреевич

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

с. 47-60

   Журнал

   Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - ISSN 0236-3933 (print). - ISSN 2687-0614 (web).
   Спец. вып. Моделирование и идентификация. - 2012.

подробнее

Похожие издания

   Статья в журнале

Андреев А. М., Козлов И. А.
   Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А. - DOI 10.18698/2308-6033-2012-11-478 // Инженерный журнал: наука и инновации. - 2012. - № 11. - П.Н. 3.

Читать онлайн

подробнее