Monografie
Application-Dependent Hardware/Software Cross-Layer Fault Analysis
- Sprache
-
Englisch
- Identifier
-
1302222953
Thema
Eingebettetes System; Hardwareentwurf; Entwurfsautomation; Zuverlässigkeit; Fehlersimulation; Softwareentwicklung
Beteiligte Personen und Organisationen
Bartsch, Christian
Kunz, Wolfgang
Kunz, Wolfgang
- DOI
-
10.26204/KLUEDO/7404
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.10.2023, 11:33 MESZ
Objekttyp
- Monografie
Beteiligte
- Bartsch, Christian
- Kunz, Wolfgang
Ähnliche Objekte (12)
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Model Based System Analysis Techniques to Determine Propagation Paths of Functional Insufficiencies in Software Intensive Systems
Formal verification and automated masking of cryptographic hardware
Optimizing Multi-Way Joins for Adaptive, Scale-out Stream Processing
Stochastic Analysis for Vector-valued Generalized Grey Brownian Motion
Towards Distributed Task-based Visualization and Data Analysis
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Recognition, Analysis, and Assessments of Human Skills using Wearable Sensors
Beitrag zur zerstörungsfreien Spannungs- und Schnittgrößenermittlung in Stahlbauteilen mittels Ultraschallprüfverfahren
Multi-omics and functional analysis reveal novel consequences of monosomy
Expanding the genetic toolbox of Leishmania tarentolae — novel techniques for the analysis of mitochondrial protein import in kinetoplastid parasites
Building on knowledge and innovation: the role of Green Economy in revitalising Shrinking Cities : Case study analysis in France and Mexico
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Model Based System Analysis Techniques to Determine Propagation Paths of Functional Insufficiencies in Software Intensive Systems
Formal verification and automated masking of cryptographic hardware
Optimizing Multi-Way Joins for Adaptive, Scale-out Stream Processing
Stochastic Analysis for Vector-valued Generalized Grey Brownian Motion
Towards Distributed Task-based Visualization and Data Analysis
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Recognition, Analysis, and Assessments of Human Skills using Wearable Sensors
Beitrag zur zerstörungsfreien Spannungs- und Schnittgrößenermittlung in Stahlbauteilen mittels Ultraschallprüfverfahren
Multi-omics and functional analysis reveal novel consequences of monosomy
Expanding the genetic toolbox of Leishmania tarentolae — novel techniques for the analysis of mitochondrial protein import in kinetoplastid parasites
Building on knowledge and innovation: the role of Green Economy in revitalising Shrinking Cities : Case study analysis in France and Mexico
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Model Based System Analysis Techniques to Determine Propagation Paths of Functional Insufficiencies in Software Intensive Systems
Formal verification and automated masking of cryptographic hardware
Optimizing Multi-Way Joins for Adaptive, Scale-out Stream Processing
Stochastic Analysis for Vector-valued Generalized Grey Brownian Motion
Towards Distributed Task-based Visualization and Data Analysis
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Recognition, Analysis, and Assessments of Human Skills using Wearable Sensors
Beitrag zur zerstörungsfreien Spannungs- und Schnittgrößenermittlung in Stahlbauteilen mittels Ultraschallprüfverfahren
Multi-omics and functional analysis reveal novel consequences of monosomy
Expanding the genetic toolbox of Leishmania tarentolae — novel techniques for the analysis of mitochondrial protein import in kinetoplastid parasites