- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Automated continuous verification for numerical simulation ; volume:4 ; number:2 ; year:2011 ; pages:435-449
Geoscientific model development ; 4, Heft 2 (2011), 435-449
- Urheber
-
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
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Farrell, P. E.
- Piggott, M. D.
- Gorman, G. J.
- Ham, D. A.
- Wilson, C. R.
- Bond, T. M.
Ähnliche Objekte (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