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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Применение конечных автоматов для нечеткого бинарного поиска
Authors: Панкратов, Иван Владимирович
Source: Прикладная дискретная математика. Приложение. 2018. № 11. С. 117-122
Type: статьи в журналах
Date: 2018
Description: Рассматривается задача нечёткого поиска булевых векторов в потоке данных. Под нечётким вхождением искомого вектора понимается вхождение вектора, близкого к искомому в смысле расстояния Хемминга. Предл ... More
Add   Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Ермаков, Антон Дмитриевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2016
Add   Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01.
Authors: Кушик, Наталья Геннадьевна
Type: диссертации
Date: 2016
Add   On reducing test length for FSMs with extra states
Authors: Simao, Adenilso da Silva | Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Software Testing Verification and Reliability. 2012. Vol. 22, № 6. P. 435-454
Type: статьи в журналах
Date: 2012
Add   Тестирование робастности веб-сервисов на основе композиций конечных автоматов
Authors: Дарусенкова, Екатерина Владимировна | Кондратьева, Ольга Викторовна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 339-340
Type: статьи в журналах
Date: 2012
Add   Логическое проектирование дискретных устройств : учебное пособие : [для студентов, изучающих историю автоматов]
Authors: Буркатовская, Людмила Ильинична | Буркатовская, Юлия Борисовна
Type: учебные издания
Date: 2011
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^