On "Exploring alternatives for transition verification"
Journal of Systems and Software
Hi-index | 14.98 |
This paper describes corrections to a previous paper, Reduced Length Checking Sequecnes, that appeared in IEEE Transactions on Computers in 2002 (51 9, pp.1111-1117).