Refine your search
Availability
-
Bibliographic level
- Книги (4)
- Статьи из сборников (3)
-
Authors
- Матросова, Анжела Юрьевна [x]
- Андреева, Валентина Валерьевна (2)
- Николаева, Екатерина Александровна (2)
- Baghdadi Ammar Awni Abbas (1)
- Singh, Virendra (1)
- Литвинова, Евгения Ивановна (1)
- Мельников, А. (1)
- Останин, Сергей Александрович (1)
- Хаханов, Владимир Иванович (1)
- Чернышов, Семен Владимирович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (3)
-
Item types
-
Topics
- диссертации (3)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (2)
- информационные технологии (2)
- тестирование (2)
- труды ученых ТГУ (2)
- BDD-графы (1)
- BDD-системы (1)
- CTL-верификация (1)
- ROBDD-графы (1)
- ДНФ-системы (1)
- Крипке модель (1)
- Мили автомат (1)
- ОДНФ-системы (1)
- автоматные программы (1)
- алгоритмы маскирования неисправностей в интегральных схемах (1)
- алгоритмы минимизации (1)
- алгоритмы поиска ложных путей в интегральных схемах (1)
- алгоритмы построения тестов (1)
- архитектура дискретных устройств (1)
- булевы разности (1)
- верификация программ (1)
- дизъюнктивные нормальные формы (1)
- дискретные структуры (1)
- задержки путей схемы (1)
- интегральные схемы комбинационные, ложные пути (1)
- интегральные схемы последовательностные, ложные пути (1)
- интегральные схемы, анализ (1)
- интегральные схемы, быстродействие (1)
- интегральные схемы, надежность (1)
- интегральные схемы, неисправности (1)
- интегральные схемы, синтез (1)
- интегральные схемы, тестирование неисправностей (1)
- информационные системы (1)
- контролепригодные комбинационные схемы (1)
- контрольные вопросы (1)
- кубитные технологии (1)
- логические схемы комбинационные (1)
- логические схемы программируемые (1)
- логические схемы синхронные последовательностные (1)
- логические схемы, алгоритмы синтеза (1)
- логические схемы, анализ (1)
- логические схемы, надежность (1)
- логические схемы, неисправности (1)
- логические схемы, синтез (1)
- логические схемы, тестирование (1)
- методика тестирования программного обеспечения (1)
- минимизация систем булевых функций частичных (1)
- неисправности задержек путей (1)
- организация тестирования программного обеспечения (1)
- отказоустойчивые схемы (1)
- Show more
- Show less