Approximate Reliability Algebra for Architecture Optimization.

Philipp Helle, Michael Masin, Lev Greenberg

Browse the full SAFECOMP paper archive.