- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2020
- Keyword
-
Memory
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2021
- Creator
-
Furbach, Florian
- Contributor
- URN
-
urn:nbn:de:hbz:386-kluedo-63678
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Furbach, Florian
- Meyer, Roland
- Technische Universität Kaiserslautern
Time of origin
- 2021
Other Objects (12)
Modelling Memory Consistency Models for Formal Verification
Event-related potentials reveal rapid verification of predicted visual input
Event-related potentials reveal rapid verification of predicted visual input
Time for verification : essays in memory of Amir Pnueli
Formal verification of a processor with memory management units
The development and verification of a simulation model of shape-memory alloy wires for strain prediction
Public Inputs as Signalling Devices
Verification of multi-objective Markov models
Using model checking for system verification
Perirhinal feedback input controls neocortical memory formation via layer 1
Memory in Motion : The Influence of Gesture- and Touch-Based Input Modalities on Spatial Memory
Explanation of the Model Checker Verification Results
Modelling Memory Consistency Models for Formal Verification
Event-related potentials reveal rapid verification of predicted visual input
Event-related potentials reveal rapid verification of predicted visual input
Time for verification : essays in memory of Amir Pnueli
Formal verification of a processor with memory management units
The development and verification of a simulation model of shape-memory alloy wires for strain prediction
Public Inputs as Signalling Devices
Verification of multi-objective Markov models
Using model checking for system verification
Perirhinal feedback input controls neocortical memory formation via layer 1
Memory in Motion : The Influence of Gesture- and Touch-Based Input Modalities on Spatial Memory
Explanation of the Model Checker Verification Results
Modelling Memory Consistency Models for Formal Verification
Event-related potentials reveal rapid verification of predicted visual input
Event-related potentials reveal rapid verification of predicted visual input
Time for verification : essays in memory of Amir Pnueli
Formal verification of a processor with memory management units
The development and verification of a simulation model of shape-memory alloy wires for strain prediction
Public Inputs as Signalling Devices
Verification of multi-objective Markov models
Using model checking for system verification
Perirhinal feedback input controls neocortical memory formation via layer 1
Memory in Motion : The Influence of Gesture- and Touch-Based Input Modalities on Spatial Memory