Erscheinungsjahr
Medientyp
Format
Lizenz
Sprache
-
Simulation of explosive detection based on APT-TOF for verifying nuclear warhead dismantlement
Elsevier | 2021|Schlagwörter: Arms control verification technique -
A verification technique for multiple soft fault diagnosis of linear analog circuits
Freier ZugriffBASE | 2018|Schlagwörter: verification technique -
Research of Data Reliability Technology Based on Erasure Code Redundancy Technology in Cloud Storage
NationallizenzTrans Tech Publications | 2014|Schlagwörter: Fragmentation Verification Technique -
Fault-tolerant multi-agent control architecture for autonomous mobile manipulators: Simulation results
Elsevier | 2015|Schlagwörter: Simulation-Verification technique -
Assessment of HARMONIE-AROME in the simulation of the convective activity associated to a subtropical transition using satellite data
Elsevier | 2023|Schlagwörter: FSS objective-robust neighborhood verification technique -
TAPAAL and Reachability Analysis of P/T Nets
Springer Verlag | 2016|Schlagwörter: Verification Technique -
Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents
Springer Verlag | 2012|Schlagwörter: Verification Technique -
A Verification Technique for Multiple Soft Fault Diagnosis of Linear Analog Circuits
Freier ZugriffDOAJ | 2018|Schlagwörter: verification technique -
Accuracy in Self-Report Measures of Arousal: Use of a Bogus Verification to Attenuate Sensitivity Bias in Sex-in-Advertising Experimentation
Springer Verlag | 2014|Schlagwörter: Verification Technique -
Efficient Peer-to-Peer Content Dispersal by Spontaneously Newly Combined Fingerprints
Springer Verlag | 2022|Schlagwörter: Signature-based verification technique -
Hamilton–Jacobi theory for hereditary control problems
NationallizenzElsevier | 1992|Schlagwörter: verification technique -
RE-TRUST: Trustworthy Execution of SW on Remote Untrusted Platforms
Springer Verlag | 2010|Schlagwörter: Verification Technique -
Introduction
Thinking about how it might not workSpringer Verlag | 2004|Schlagwörter: Verification Technique -
Analyzing Industrial Architectural Models by Simulation and Model-Checking
Springer Verlag | 2015|Schlagwörter: Verification Technique -
Modeling Actor Systems Using Dynamic I/O Automata
Springer Verlag | 2016|Schlagwörter: Verification Technique -
Studying a Range Proof Technique — Exception and Optimisation
Springer Verlag | 2013|Schlagwörter: Verification Technique -
Runtime Verification for Linear-Time Temporal Logic
Springer Verlag | 2017|Schlagwörter: Verification Technique -
An Improved Search Strategy for Lossy Channel Systems
Freier ZugriffSpringer Verlag | 1997|Schlagwörter: Verification Technique -
End-to-End Verification of Processors with ISA-Formal
Springer Verlag | 2016|Schlagwörter: Verification Technique
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.