Главная  Каталог авторов Каталог трудов Расширенный поиск Добавление статей Регистрация

Обнаружение ложных проводящих путей в статическом временном анализе на основе логических импликаций
Авторы
 Гаврилов С.В.
 Глебов А.Л.
 Соловьев Р.А.
Год публикации
 2006
Тип работы
 статья в научном журнале
Ссылка на статью
 Гаврилов С.В., Глебов А.Л., Соловьев Р.А. Обнаружение ложных проводящих путей в статическом временном анализе на основе логических импликаций. Известия ВУЗов. Электроника, 2006, N6
Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь
Copyright © 2012-2024 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.
Разработка сайта - ИППМ РАН