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

Add to Quick Collection   All 10 Results

Showing items 1 - 10 of 10.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Authors: Ермаков, Антон Дмитриевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Type: статьи в журналах
Date: 2014
Add   К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
Authors: Евтушенко, Нина Владимировна | Петренко, Александр Федорович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 151-155
Type: статьи в журналах
Date: 2013
Add   К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
Authors: Шабалдина, Наталия Владимировна | Галимуллин, Рустам Фанисович
Source: Программирование. 2012. № 3. С. 36-44
Type: статьи в журналах
Date: 2012
Add   К установке сложных систем в известное состояние
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113
Type: статьи в журналах
Date: 2012
Add   Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
Authors: Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 3. С. 108-115
Type: статьи в журналах
Date: 2011
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
Authors: Акеньшина, Екатерина Алексеевна | Шабалдина, Наталия Владимировна
Source: Прикладная дискретная математика. 2009. № 3(5). С. 106-111
Type: статьи в журналах
Date: 2009
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

^