Automated verification of a computer system reliability model (2007)

by R Robidoux
Venue:Computer and Information Science Department, University of Massachusetts Dartmouth