Generating checking sequences for nondeterministic finite state machines

Add to "Quick Collection"

Description	Size	Format
Generating checking sequences for nondeterministic finite state machines	2 MB	Adobe Acrobat PDF	Read	Download

Title: Generating checking sequences for nondeterministic finite state machines
Creator: Petrenko, Alexandre F.
|
Simao, Adenilso da Silva
|
Yevtushenko, Nina V.
Contributor: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Date: 2012

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
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

Created: 09-11-2012

1213 Visitors

960 Hits

270 Downloads

Радиофизический факультет Generating checking sequences for nondeterministic finite state machines