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

BDD Application to Mutual Exclusion Testing in High-Level Synthesis
Авторы
 Syngaevski V.A.
Год публикации
 1994
Тип работы
 текст доклада на конференции
Ссылка на статью
 Syngaevski V.A. BDD Application to Mutual Exclusion Testing in High-Level Synthesis. IV International Disign Automation Workshop (RW"94). June 28-29, 1994. Moscow, Russia.
Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь
Copyright © 2012-2025 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.
Разработка сайта - ИППМ РАН