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
On reducing test length for FSMs with extra states
972 KB
Adobe Acrobat PDF
View Details
Download
DOI Доступ к ресурсу на сайте издателя
10.1002/stvr.452
Title
On reducing test length for FSMs with extra states
Creator
Simao, Adenilso da Silva
Creator
Petrenko, Alexandre F.
Creator
Yevtushenko, Nina V.
Contributor
Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Subject
автоматы конечные
тесты
Date
2012
DOI
10.1002/stvr.452
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Identifier
vtls:000436269
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436269
Type
статьи в журналах
Source
Software Testing Verification and Reliability. 2012. Vol. 22, № 6. P. 435-454
Language
rus
853 Visitors
851 Hits
7 Downloads
Preview
Радиофизический факультет
On reducing test length for FSMs with extra states
^ DIV >