Журналы
Разделы книг
Статьи по ключевому слову assertion-based verification
Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости
О. М. Брехов - д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет). E-mail: obrekhov@mail.ru А. В. Корнеенкова - к.т.н., доцент, Московский авиационный институт (национальный исследовательский университет). E-mail: ankorn@yandex.ru К. А. Кордовер - мл. науч. сотрудник, МАИ НИО-304. E-mail: k.a.kordover@gmail.com Н. Ю. Мухин - мл. науч сотрудник, МАИ НИО-304. E-mail: 808@mail.ru Е. А. Орлова - мл. науч. сотрудник, МАИ НИО-304. E-mail: catrin@nm.ru И. В. Тузов - мл. науч. сотрудник МАИ НИО-304. E-mail: Letters-Ilya@yandex.ru