Media type: E-Book Title: Application-Dependent Hardware/Software Cross-Layer Fault Analysis Contributor: Bartsch, Christian [Verfasser]; Kunz, Wolfgang [Akademischer Betreuer] imprint: Kaiserslautern-Landau: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023 Extent: Online-Ressource Language: English DOI: 10.26204/KLUEDO/7404 Identifier: Keywords: Eingebettetes System ; Hardwareentwurf ; Entwurfsautomation ; Zuverlässigkeit ; Fehlersimulation ; Softwareentwicklung ; Electronic Design Automation ; Formal Verification ; Safety ; Fault Injection ; Static Program Analysis Origination: University thesis: Dissertation, Kaiserslautern-Landau, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023 Footnote: Access State: Open Access