Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | Прокопенко, Светлана Анатольевна | расширенные автоматы

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   К построению параллельной композиции расширенных автоматов
Authors: Широкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91
Type: статьи в журналах
Date: 2019
Description: Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Иссл ... More
Add   Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
Authors: Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 200-202
Type: статьи в журналах
Date: 2013
  • «
  • ←
  • 1
  • →
  • »
^