Monografie
A HW-dependent software model for cross-layer fault analysis in embedded systems
- Sprache
-
Englisch
- Identifier
-
1119717760
Beteiligte Personen und Organisationen
- DOI
-
10.6094/UNIFR/10634
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Objekttyp
- Monografie
Beteiligte
- Bartsch, Christian
- Rödel, Nico
- Villarraga, Carlos
- Stoffel, Dominik
- Kunz, Wolfgang
- Wimmer, Ralf
Ähnliche Objekte (12)
Herstellung, Modifikation und Analyse sterisch stabilisierter, fluorierter Modellkolloide in wässriger Dispersion
Predicting performance and energy efficiency for large-scale parallel applications on highly heterogeneous platforms
Skolem functions for DQBF
Lösen von Booleschen Formeln mit Henkin-Quantoren
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
MBMV 2016: Vorwort
Verification of behavior-based control systems in their physical environment
Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs
Applying Tailored Formal Methods to X-ATPG : (extended abstract)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
Connecting a C++ based structural verification tool to the web : a new bridge between C++ and the web
Herstellung, Modifikation und Analyse sterisch stabilisierter, fluorierter Modellkolloide in wässriger Dispersion
Predicting performance and energy efficiency for large-scale parallel applications on highly heterogeneous platforms
Skolem functions for DQBF
Lösen von Booleschen Formeln mit Henkin-Quantoren
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
MBMV 2016: Vorwort
Verification of behavior-based control systems in their physical environment
Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs
Applying Tailored Formal Methods to X-ATPG : (extended abstract)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
Connecting a C++ based structural verification tool to the web : a new bridge between C++ and the web
Herstellung, Modifikation und Analyse sterisch stabilisierter, fluorierter Modellkolloide in wässriger Dispersion
Predicting performance and energy efficiency for large-scale parallel applications on highly heterogeneous platforms
Skolem functions for DQBF
Lösen von Booleschen Formeln mit Henkin-Quantoren
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
MBMV 2016: Vorwort
Verification of behavior-based control systems in their physical environment
Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs
Applying Tailored Formal Methods to X-ATPG : (extended abstract)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements