Formal Methods for Pattern Based Reliability Analysis in Embedded Systems.

Sumana Ghosh, Pallab Dasgupta

Browse the full VLSID paper archive.