Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (2)
- Книги (2)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
-
Topics
- автоматные модели [x]
- автоматы конечные (2)
- диссертации (2)
- конечно-автоматные модели (2)
- труды ученых ТГУ (2)
- Java Path Finder (JPF), инструмент для проверки многопоточных Java программ (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