Architectural Verification of Black-box Component-based Systems (2006)

by A Bertolino, H Muccini, A Polini
Venue:In RISE