Login / Signup
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.
Christian Bartsch
Stephan Wilhelm
Daniel Kästner
Dominik Stoffel
Wolfgang Kunz
Published in:
MBMV (2022)
Keyphrases
</>
embedded systems
abstract interpretation
static analysis
computing power
databases
low cost
embedded software
hw sw
database
pattern matching