Merkliste 
 1 Ergebnisse 
 
1

Controlled method of random test synthesis:

Yarmolik, V. N. ; Mrozek, I. ; Yarmolik, S. V.
Automatic Control and Computer Sciences.  49 (2015)  6 - p. 395-403 , 2015