Normal view
MARC view
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа Д. А. Третьяков, С. А. Останин
Material type: ArticleSubject(s): проверяющие тесты | ROBDD-графы | булевы функции | логические схемы | CUDD, пакет решающих диаграммGenre/Form: статьи в сборниках Online resources: Click here to access online In: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г С. 8-10No physical items for this record
Библиогр.: 5 назв.
There are no comments on this title.