Close
Model-based test case generation using statecharts and z: a comparison and a combined approach

List of files deposited in:

sid.inpe.br/mtc-m19@80/2010/02.26.14.05

File tree

Name Last modified Size
 :: .htaccess             29/11/2019 15:42 0.1 KiB
 :: .htaccess2             29/11/2019 15:42 19 B     
download
 :: publicacao1.pdf
31/05/2010 09:12 2.4 MiB

Close