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

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 37-39
Type: статьи в журналах
Date: 2015
Add   Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
Authors: Форостьянова, Мария Сергеевна
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76
Type: статьи в журналах
Date: 2014
Add   Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей
Authors: Сухоплюев, Максим Николаевич | Форостьянова, Мария Сергеевна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 84
Type: статьи в сборниках
Date: 2014
Add   Мутационное тестирование систем, описанных в языке XML, с использованием древовидных автоматов
Authors: Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 193-195
Type: статьи в журналах
Date: 2013
  • «
  • ←
  • 1
  • →
  • »
^