Журналы
Разделы книг
Статьи по ключевому слову расширенный конечный автомат
Подходы к формальной верификации моделей подсистем коммутации микропроцессоров
И.А. Стотланд - к.т.н., доцент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: irastot@mail.ru Н.А. Стариковская - к.т.н., доцент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: starikovskaya@mirea.ru М.А. Кириченко - студент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: kmar.kmar@mail.ru