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

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 47. С. 110-117
Type: статьи в журналах
Date: 2019
Description: Исследуется задача построения тестов с гарантированной полнотой для последовательностных цифровых систем. Рассматриваются тесты, нацеленные как на обнаружение в логических схемах низкоуровневых неиспр ... More
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв ... More
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description: Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например ... More
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
  • «
  • 1
  • »
^