Cross-Level Compositional Reliability Analysis for Embedded Systems.

Michael Gla, Heng Yu, Felix Reimann, Jrgen Teich

Browse the full SAFECOMP paper archive.