RUS  ENG
Полная версия
ЖУРНАЛЫ // Автоматика и телемеханика // Архив

Автомат. и телемех., 2005, выпуск 1, страницы 154–163 (Mi at1317)

Автоматы

Методы построения универсальных тестов для конечных автоматов

В. А. Твердохлебов

Институт проблем точной механики и управления РАН

Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 25.02.2003


 Англоязычная версия: Automation and Remote Control, 2005, 66:1, 139–147

Реферативные базы данных:


© МИАН, 2024