Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Евтушенко, Нина Владимировна [x]
- Ермаков, Антон Дмитриевич (1)
- Жигулин, Максим Владимирович (1)
- Коломеец, Антон Владимирович (1)
- Кушик, Наталья Геннадьевна (1)
- Лапутенко, Андрей Владимирович (1)
- Твардовский, Александр Сергеевич (1)
- Show more
- Show less
-
Locations
- Книгохранилище (6)
-
Item types
-
Topics
- диссертации (6)
- автоматы конечные (4)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (3)
- тесты проверяющие, синтез (2)
- "интернет вещей", компоненты (1)
- FSM-срез автомата расширенного (1)
- Java Path Finder (JPF), инструмент для проверки многопоточных Java программ (1)
- TFTP, телекоммуникационный протокол (1)
- ПЛИС (1)
- ПЛИС Altera (1)
- Системный анализ, управление и обработка информации (1)
- Системный анализ, управление и обработка информации ( в отраслях информатики, вычислительной техники и автоматизации) (1)
- автоматные модели (1)
- автоматов теория, методы (1)
- автоматы временные (1)
- автоматы конечные временные (1)
- автоматы конечные, модели неисправности (1)
- автоматы недетерминированные (1)
- автоматы различающие (1)
- автоматы расширенные (1)
- автоматы расширенные мутационные (1)
- автоматы расширенные, ошибки (1)
- анализ и синтез систем сложных (1)
- верификация (1)
- временные автоматы (1)
- временные автоматы детерминированные, минимизация (1)
- временные автоматы недетерминированные (1)
- временные автоматы неинициальные (1)
- временные автоматы, композиции (1)
- временные автоматы, минимизация (1)
- временные автоматы, оптимизация (1)
- временные автоматы. классы (1)
- дискретные управляющие системы (1)
- компьютерные эксперименты (1)
- конечные автоматы (1)
- логические схемы каскадные (1)
- логические схемы, анализ (1)
- логические схемы, аппаратная реализация (1)
- логические схемы, использование (1)
- логические схемы, синтез (1)
- машинное обучение, алгоритмы (1)
- машинное обучение, методы (1)
- машинное обучение, модели (1)
- методы теории автоматов (1)
- модели неисправности (1)
- модели неисправности (теория автоматов) (1)
- пакет программ поиска уязвимостей в программном обеспечении (1)
- проверка безопасности программного обеспечения (1)
- программная реализация алгоритмов, генерация (1)
- программная реализация алгоритмов, ошибки (1)
- Show more
- Show less