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

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Conformance relations for finite state machines with timeouts
Authors: Kondratyeva, O. | Yevtushenko, Nina V. | Cavalli, Ana
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 10/3. С. 218-221
Type: статьи в журналах
Date: 2015
Add   FSMTest-1.0: a manual for researches
Authors: Shabaldina, N. | Gromov, M.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015. [S. l.], 2015. P. 216-219
Type: статьи в сборниках
Date: 2015
Add   Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов
Authors: Сухоплюев, Максим Николаевич | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106
Type: статьи в журналах
Date: 2015
Add   Интерактивная обучающая система по линейной алгебре: генерация систем линейных уравнений
Authors: Мягченко, Наталья Андреевна | Шабалдина, Наталия Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 84-88
Type: статьи в журналах
Date: 2015
Add   К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 37-39
Type: статьи в журналах
Date: 2015
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   Программно-аппаратный комплекс для цифровой обработки сигналов
Authors: Торгаев, Станислав Николаевич | Огородников, Дмитрий Н. | Киселева, Виктория Андреевна | Евтушенко, Геннадий Сергеевич
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 47-51
Type: статьи в журналах
Date: 2015
Description: В работе описывается программно-аппаратный комплекс для цифровой обработки сигналов. Предлагаемая система позволяет передавать в микроконтроллер параметры необходимых цифровых фильтров с целью автомат ... More
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
Authors: Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 115-118
Type: статьи в журналах
Date: 2015
  • «
  • ←
  • 1
  • →
  • »

Creator

Subject

Resource Type

^