Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.

Christian Bartsch, Stephan Wilhelm, Daniel Kstner, Dominik Stoffel, Wolfgang Kunz

Browse the full ITC paper archive.