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

Add to Quick Collection   All 23 Results

Showing items 16 - 23 of 23.
Sort:
 Add All Items to Quick Collection
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 63-64
Type: статьи в сборниках
Date: 2016
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
Add   Создание кроссплатформенной версии приложения "FSM Test-1.0"
Authors: Батрацкий, Сергей Васильевич | Белых, Виталий Сергеевич | Твардовский, Александр Сергеевич
Source: Наука. Технологии. Инновации. Ч. 2 : сборник научных трудов, г. Новосибирск, 05-09 декабря 2016 г. : в 9 ч.. Новосибирск, 2016. Ч. 2. С. 163-165
Type: статьи в сборниках
Date: 2016
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   К минимизации автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 4. С. 77-83
Type: статьи в журналах
Date: 2014
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 77-84
Type: статьи в сборниках
Date: 2014
Add   О минимизации временных автоматов
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 41-42
Type: статьи в сборниках
Date: 2014

Creator

Date

Subject

Resource Type

^