Электронная библиотека (репозиторий) Томского государственного университета
Винарский, Евгений Максимович | Лапутенко, Андрей Владимирович

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Type: статьи в сборниках
Date: 2022
Add   Синтез тестов для цифровых систем на высоком и низком уровнях абстракции
Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 47. С. 110-117
Type: статьи в журналах
Date: 2019
Description: Исследуется задача построения тестов с гарантированной полнотой для последовательностных цифровых систем. Рассматриваются тесты, нацеленные как на обнаружение в логических схемах низкоуровневых неиспр ... More
  • «
  • ←
  • 1
  • →
  • »
^