Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation

Autor:	Dominik Stoffel, Wolfgang Kunz, Stephan Wilhelm, Christian Bartsch, Daniel Kästner
Rok vydání:	2021
Předmět:	Fault propagation Computer science Abstract interpretation Algorithm
Zdroj:	ITC
DOI:	10.1109/itc50571.2021.00057
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d0bfda6770096b989637c055a20a7ec4 https://doi.org/10.1109/itc50571.2021.00057 Zobrazit plný text záznamu