Searched for: subject%3A%22And%255C%2Bverifications%22
(1 - 20 of 52)

Pages

Runtime Verification of Compound Components with ComMA
Runtime Verification of Compound Components with ComMA
A Process to Facilitate Automated Automotive Cybersecurity Testing
A Process to Facilitate Automated Automotive Cybersecurity Testing
Gobra
Gobra: Modular Specificationand Verification of Go Programs
Automated Verification of the Parallel Bellman–Ford Algorithm
Automated Verification of the Parallel Bellman–Ford Algorithm
Pressure control and conformance management for safe and efficient CO2 storage – lessons learned in the Pre-ACT project
Pressure control and conformance management for safe and efficient CO2 storage – lessons learned in the Pre-ACT project
Quantitative assessment of monitoring strategies for conformance verification of CO2 storage projects
Quantitative assessment of monitoring strategies for conformance verification of CO2 storage projects
Verifying sanitizer correctness through black-box learning: A symbolic finite transducer approach
Verifying sanitizer correctness through black-box learning: A symbolic finite transducer approach
Robustness Verification for Classifier Ensembles
Robustness Verification for Classifier Ensembles
SMT-based verification of temporal properties for component-based software systems
SMT-based verification of temporal properties for component-based software systems
Experimental error mitigation via symmetry verification in a variational quantum eigensolver
Experimental error mitigation via symmetry verification in a variational quantum eigensolver
Elicitation of technical requirements in large research projects: The CERBERO approach
Elicitation of technical requirements in large research projects: The CERBERO approach
How cognitive biases influence the data verification of safety indicators
How cognitive biases influence the data verification of safety indicators: A case study in rail
Key challenges and results in the design of Cubesat Laser Terminals, Optical Heads and Coarse Pointing Assemblies
Key challenges and results in the design of Cubesat Laser Terminals, Optical Heads and Coarse Pointing Assemblies
RERS 2019
RERS 2019: Combining Synthesis with Real-World Models
The Growing N-Gram Algorithm
The Growing N-Gram Algorithm: A Novel Approach to String Clustering
Quantifying efficiency of field-wide surveys for verifying CO2 plume conformance during storage operations
Quantifying efficiency of field-wide surveys for verifying CO2 plume conformance during storage operations
Quantifying the efficiency of surveillance strategies for subsurface CO2 storage applications
Quantifying the efficiency of surveillance strategies for subsurface CO2 storage applications
Pressure control and conformance management for safe and efficient CO2 storage - an overview of the Pre-ACT project
Pressure control and conformance management for safe and efficient CO2 storage - an overview of the Pre-ACT project
Characterisation and performance verification results of the earthcare multi spectral imager VNS camera
Characterisation and performance verification results of the earthcare multi spectral imager VNS camera
Fatal sarin poisoning in Syria 2013
Fatal sarin poisoning in Syria 2013: forensic verification within an international laboratory network
Searched for: subject%3A%22And%255C%2Bverifications%22
(1 - 20 of 52)

Pages