Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
CUDD, пакет решающих диаграмм
|
Останин, Сергей Александрович
Add to Quick Collection
Description
Size
Format
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
148 KB
Adobe Acrobat PDF
View Details
Download
Title
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
Creator
Третьяков, Дмитрий Александрович
Creator
Останин, Сергей Александрович
Subject
проверяющие тесты
ROBDD-графы
булевы функции
логические схемы
CUDD, пакет решающих диаграмм
Date
2017
Relationships
Show Relationship Browser for this Object
collection(s)
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Identifier
vtls:000619196
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619196
Type
статьи в сборниках
Source
Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 8-10
Language
rus
1114 Visitors
849 Hits
296 Downloads
Preview
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
^ DIV >