Search results

Create the page "Validation" on this wiki! See also the search results found.

• DIPES 2008
  4. Validation and verification of embedded systems
  5 KB (655 words) - 23:30, 14 October 2008
• SWF 2008
  o Scientific workflow modeling, verification, and validation
  6 KB (750 words) - 23:31, 14 October 2008
• ISORC 2008
  ...pment of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
  3 KB (377 words) - 23:31, 14 October 2008
• SIGAda 2008
  * Analysis, testing, and validation
  8 KB (1,079 words) - 23:32, 14 October 2008
• BIS 2009
  industrial experience or on the validation of prototype
  9 KB (1,134 words) - 01:18, 1 February 2009
• IVW 2007
  | Title = IVTs 13th Annual International Validation Week
  523 bytes (57 words) - 23:35, 14 October 2008
• SOFSEM 2009
  validation of computer systems (including case studies)
  6 KB (682 words) - 10:18, 14 April 2020
• SN 2008
  �?� Modeling and validation of sensor network architectures
  11 KB (1,533 words) - 23:38, 14 October 2008
• APSAR 2009
  C5. Phase Unwrapping and DEM Validation
  2 KB (307 words) - 23:39, 14 October 2008
• CCVPB 2007
  | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
  501 bytes (54 words) - 23:39, 14 October 2008
• HASE 2008
  ...tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * Formal specification, specification validation, testing, and model checking for high assurance systems
  6 KB (748 words) - 14:43, 27 December 2015
• COMPSAC 2008
  ...gn, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constraints. Effective
  2 KB (249 words) - 23:44, 14 October 2008
• Francesco Flammini
  ...as worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and testing of r
  1 KB (186 words) - 17:22, 5 February 2009
• ICLP 2009
  ** Validation
  5 KB (680 words) - 23:55, 27 February 2020
• ECRTS 2009
  ...cheduling and schedulability analysis; worst-case execution time analysis; validation techniques.
  5 KB (720 words) - 14:46, 17 January 2009
• IAAI 2009
  ...ues; integration of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition i
  11 KB (1,724 words) - 12:55, 18 January 2009
• IEEE/SIES 2009
  Embedded Systems: Design and Validation of Embedded Systems; Real-Time Issues; Models of Embedded Computation; Desi
  3 KB (337 words) - 12:59, 18 January 2009
• DILS 2009
  new integration challenges for tasks such as interpretation, validation and
  4 KB (475 words) - 13:00, 18 January 2009
• DXP 2009
  - DTD-based XML Schema Validation in Distributed Environments - XMLSchema-based XML Schema Validation in Distributed Environments
  7 KB (1,030 words) - 13:00, 18 January 2009
• Geoinformatics 2009
  Calibration and validation of remotely sensed data
  7 KB (968 words) - 13:01, 18 January 2009

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)