|
|
2.
|
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material type:  Article; Format:
electronic
available online
 ; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
