Электронная библиотека (репозиторий) Томского государственного университета

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата

Image Thumbnail Open in Browser | View Pdf in Internal Viewer | Download 699 KB
^