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

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей
Authors: Сухоплюев, Максим Николаевич | Форостьянова, Мария Сергеевна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 84
Type: статьи в сборниках
Date: 2014
Add   Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 337-338
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^