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