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

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
Authors: Широкова, Екатерина Владимировна | Евтушенко, Нина Владимировна
Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки. 2023. № 8. С. 143-150
Type: статьи в журналах
Date: 2023
Description: Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользов ... More
Add   Решение автоматных уравнений для временных автоматов относительно параллельной композиции
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 85-98
Type: статьи в журналах
Date: 2014
Add   Частные решения уравнений для временных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 333-334
Type: статьи в журналах
Date: 2012
Add   Решение параллельных уравнений для ω-языков
Authors: Бушков, Виктор Георгиевич | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2010. № 2. С. 117-123
Type: статьи в журналах
Date: 2010
  • «
  • ←
  • 1
  • →
  • »
^