Институт системного программирования им. В.П. Иванникова РАН


Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода.

Авторы

А.С. Камкин, С.А. Смолов.

Издание

Конференция «Методы и инструменты анализа программ», 2014.

Научная группа

Технологии программирования

Все публикации за 2013 год Все публикации