Construction and Analysis of Ground Models and Their Refinements as a Foundation for Validating Computer-Based Systems

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-006-0019-y
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Validating Clear Air Absorption Models Using Ground-Based Microwave Radiometers and Vice-Versa

Meteorologische Zeitschrift
Atmospheric Science
2006English

Open Source as a Foundation for Systems Research

Operating Systems Review (ACM)
HardwareComputer NetworksInformation SystemsArchitectureCommunications
2008English

Perfect 3D Models as Foundation for Innovation

Optik & Photonik
2018English

A Class of Mean Field Interaction Models for Computer and Communication Systems

2008English

Model-Based Computer-Aided Framework for Design of Process Monitoring and Analysis Systems

Computers and Chemical Engineering
Computer Science ApplicationsChemical Engineering
2009English

Verifying and Validating Simulation Models

2014English

Australian Macro-Econometric Models and Their Construction - A Short History

SSRN Electronic Journal
2019English

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Computer Simulations of Statistical Models and Dynamic Complex Systems

Brazilian Journal of Physics
AstronomyPhysics
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy