Software Fault Tolerance: The Evaluation by Functional Verification.

Ondrej Cekan, Jakub Podivinsky, Zdenek Kotsek

Browse the full DSD paper archive.