- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Automated continuous verification for numerical simulation ; volume:4 ; number:2 ; year:2011 ; pages:435-449
Geoscientific model development ; 4, Heft 2 (2011), 435-449
- Creator
-
Farrell, P. E.
Piggott, M. D.
Gorman, G. J.
Ham, D. A.
Wilson, C. R.
Bond, T. M.
- DOI
-
10.5194/gmd-4-435-2011
- URN
-
urn:nbn:de:101:1-2017110612200
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
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
- Farrell, P. E.
- Piggott, M. D.
- Gorman, G. J.
- Ham, D. A.
- Wilson, C. R.
- Bond, T. M.
Other Objects (12)
Large Numerical Models in Continuous Hybrid Simulation
Numerical Simulation and Experimental Verification of Laser Multi-Section Welding
Continuous Verification and Safe Localization in Semantic High Definition Maps for Automated Driving
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Shape optimization of the X0-specimen: theory, numerical simulation and experimental verification
Numerical simulation of electromagnetic stirring in continuous casting of wires
Numerical simulation of shrinkage porosity defect in billet continuous casting
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Verification of continuous-space stochastic systems
Continuous User Verification through Behavior Biometrics
Large Numerical Models in Continuous Hybrid Simulation
Numerical Simulation and Experimental Verification of Laser Multi-Section Welding
Continuous Verification and Safe Localization in Semantic High Definition Maps for Automated Driving
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Shape optimization of the X0-specimen: theory, numerical simulation and experimental verification
Numerical simulation of electromagnetic stirring in continuous casting of wires
Numerical simulation of shrinkage porosity defect in billet continuous casting
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Verification of continuous-space stochastic systems
Continuous User Verification through Behavior Biometrics
Large Numerical Models in Continuous Hybrid Simulation
Numerical Simulation and Experimental Verification of Laser Multi-Section Welding
Continuous Verification and Safe Localization in Semantic High Definition Maps for Automated Driving
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Shape optimization of the X0-specimen: theory, numerical simulation and experimental verification
Numerical simulation of electromagnetic stirring in continuous casting of wires
Numerical simulation of shrinkage porosity defect in billet continuous casting
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Verification of continuous-space stochastic systems