Automated Verification of Code Generated from Models: Comparing Specifications with Observations
Conference, Data systems in aerospace DASIA ; 2008 ; Palma de Majorca, Spain
2008-01-01
27 pages
Held in e-store (RMS)
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automated testing from specifications
IEEE | 2002
|Automated derivation of tests from specifications
AIAA | 2018
|Comparing ionospheric models with mid-latitude ionosonde observations
Elsevier | 2008
|Comparing ionospheric models with mid-latitude ionosonde observations
Online Contents | 2009
|