Refine your search
Availability
-
Bibliographic level
- Книги [x]
-
Authors
-
Locations
- Книгохранилище (4)
-
Item types
-
Topics
- диссертации (4)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (2)
- конечные автоматы (2)
- модели неисправности [x]
- тесты проверяющие, синтез (2)
- "интернет вещей", компоненты (1)
- FSM-срез автомата расширенного (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)
- программные реализации протоколов (1)
- Show more
- Show less