Электронная библиотека (репозиторий) Томского государственного университета
2017 | проверяющие тесты

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
Authors: Третьяков, Дмитрий Александрович | Останин, Сергей Александрович
Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 8-10
Type: статьи в сборниках
Date: 2017
Add   Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
Authors: Лапутенко, Андрей Владимирович | Лопез Коронадо, Хорхе Елеазар | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description: Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например ... More
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
  • «
  • ←
  • 1
  • →
  • »
^