Модификация метода построения тестов для конечных автоматов относительно неразделимости
Published in: | Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием С. 39 |
---|---|
Main Author: | Акеньшина, Е. А. |
Other Authors: | Шабалдина, Наталия Владимировна |
Format: | Book Chapter |
Language: | Russian |
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
by: Акеньшина, Екатерина Алексеевна - Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
-
Построение тестов для конечных автоматов относительно неразделимости
by: Шабалдина, Наталия Владимировна -
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
by: Коломеец, Антон Владимирович -
К синтезу условных установочных экспериментов для недетерминированных автоматов
by: Кушик, Наталья Геннадьевна