Quantifying the Reliability of Embedded Systems by Automated Analysis.

Peter Liggesmeyer, Oliver Mckel

Browse the full DSN paper archive.