Software Dependability in the Tandem GUARDIAN System (1995)

by I Lee, R K Iyer
Venue:IEEE Transactions on Software Engineering