Verification of SBL Models by Mobile SODAR Measurements

International Journal of Environment and Pollution - United Kingdom
doi 10.1504/ijep.2012.051197
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Inderscience Publishers

Related search

Validating Timed UML Models by Simulation and Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2005English

Vertical Structure of the Stable Boundary Layer Detected by RASS-SODAR and In-Situ Measurements in SABLES 2006 Field Campaign

Acta Geophysica
Geophysics
2012English

An Algebraic Verification of a Mobile Network

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1992English

Vertical Structure of the Stable Boundary Layer Detected by RASS-SODAR and In-Situ Measurements in SABLES 2006 Field Campaign

Acta Geophysica
Geophysics
2012English

Verification and Validation of Simulation Models

European Journal of Operational Research
Information SystemsSimulationManagement ScienceManagementComputer ScienceModelingOperations Research
1995English

Validation and Verification of Simulation Models

1999English

Verification Methodology for DEVS Models

English

Formal Verification of AADL Models Using UPPAAL

2017English

Interdaily Variations of Three Wind Velocity Components Retrieved From Long-Term Continuous Mini-Sodar Measurements in the ABL

Izvestiya vysshikh uchebnykh zavedenii. Fizika
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy