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

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. С. 103-106
Type: статьи в журналах
Date: 2015
Add   К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 37-39
Type: статьи в журналах
Date: 2015
Add   Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
Authors: Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 115-118
Type: статьи в журналах
Date: 2015
Add   Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Торгаев, Станислав Николаевич
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 8. С. 85-90
Type: статьи в журналах
Date: 2015
Description: Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и таки ... More
  • «
  • ←
  • 1
  • →
  • »
^