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
статьи в сборниках
|
2012
|
Petrenko, Alexandre F.
Add to Quick Collection
Description
Size
Format
Generating checking sequences for nondeterministic finite state machines
324 KB
Adobe Acrobat PDF
View Details
Download
Title
Generating checking sequences for nondeterministic finite state machines
Creator
Petrenko, Alexandre F.
Creator
Simao, Adenilso da Silva
Creator
Yevtushenko, Nina V.
Contributor
Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Subject
тестирование
автоматы конечные недетерминированные
Date
2012
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Identifier
vtls:000436752
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436752
Type
статьи в сборниках
Source
IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012. Montreal ; Quebec , 2012. P. 310-319
Language
eng
1088 Visitors
868 Hits
227 Downloads
Preview
Радиофизический факультет
Generating checking sequences for nondeterministic finite state machines
^ DIV >