Volume 76, Number 1, April 2005
Robert John Walters:
Checking of models built using a graphically based formal modelling language.
55-64
Volume 76, Number 2, May 2005
Chin-Yu Huang:
Performance analysis of software reliability growth models with testing-effort and change-point.
181-194
Volume 76, Number 3, June 2005