Search results

• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  402 bytes (51 words) - 13:22, 17 February 2021
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 11:17, 17 February 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 13:54, 17 February 2021
• IVW 2007
  | Title = IVTs 13th Annual International Validation Week
  523 bytes (57 words) - 12:28, 17 February 2021
• CCVPB 2007
  | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
  501 bytes (54 words) - 12:20, 17 February 2021
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  618 bytes (69 words) - 13:18, 17 February 2021
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  417 bytes (51 words) - 13:27, 17 February 2021
• SafeConfig 2016
  |Field=resilience, validation, testing
  426 bytes (50 words) - 13:24, 17 February 2021
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  484 bytes (58 words) - 13:24, 17 February 2021
• ITEQS 2017
  |Field=software testing, verification and validation, extra-functional properties, software quality
  509 bytes (61 words) - 13:28, 17 February 2021
• RADAR 2019
  * • Computer modelling, simulation and validation
  933 bytes (102 words) - 14:06, 17 February 2021
• CRediT
  #Validation
  1 KB (142 words) - 14:14, 17 February 2021
• FASE 2019
  ...discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodologica Software quality: (static or run-time) validation and verification of functional and non-functional software properties using
  2 KB (301 words) - 13:48, 17 February 2021
• SafeComp 2019
  * formal modelling, verification and validation of critical systems, software and hardware * probabilistic verification and validation
  3 KB (419 words) - 14:05, 17 February 2021
• SAFECOMP 2017
  * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
  4 KB (457 words) - 14:05, 17 February 2021
• SafeComp 2018
  * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
  4 KB (475 words) - 14:05, 17 February 2021
• DERIS 2009
  Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important issue from th Today, in fact, the classic approach to the Evaluation, Verification, Validation and Refinement have to be assessed from the new perspectives. The practical
  6 KB (864 words) - 13:07, 17 February 2021
• TMA 2009
  Particular attention will be reserved to independent validation of previous studies and to papers that ensure reproducibility of the result * Techniques for improving the repeatability of tests, benchmarks, and validation studies
  5 KB (431 words) - 12:58, 17 February 2021
• IGARSS 2013
  *Calibration and Validation of Satellite Imagery
  1 KB (164 words) - 14:17, 17 February 2021
• EPOS 2008
  ...and verification strategies (e.g. stylized facts, statistical signatures, validation with stakeholders, etc.) - Methodological and epistemological roles of �??empirical validation�?? in simulation
  4 KB (523 words) - 12:22, 17 February 2021

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