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
|Comparing ionospheric models with mid-latitude ionosonde observations
Online Contents | 2009
|Automated Test Data Generation from Descartes Specifications
British Library Conference Proceedings | 1996
|Verification and Validation Spanning Models to Code
AIAA | 2015
|