Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
недетерминированные автоматы
|
Ермаков, Антон Дмитриевич
Add to Quick Collection
Description
Size
Format
Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
2 MB
Adobe Acrobat PDF
View Details
Download
Title
Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Creator
Ермаков, Антон Дмитриевич
Contributor
Томский государственный университет Научное управление Лаборатории НУ
Subject
синтез тестов
недетерминированные автоматы
редукция
Date
2014
Relationships
Show Relationship Browser for this Object
collection(s)
Научное управление
Identifier
vtls:000505198
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505198
Type
статьи в журналах
Source
Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Language
rus
814 Visitors
597 Hits
222 Downloads
Preview
Научное управление
Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
^ DIV >