Вернуться к Подробностям о статье Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов Скачать Скачать PDF