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

Статья опубликована в журнале из перечня ВАК