Search results

• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  457 bytes (56 words) - 19:10, 1 April 2022
• ICST
  ...=International Conference on Software Testing, Verification and Validation
  204 bytes (22 words) - 21:16, 1 April 2022
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  287 bytes (31 words) - 19:44, 1 April 2022
• IVW 2007
  | Title = IVTs 13th Annual International Validation Week
  581 bytes (60 words) - 20:51, 1 April 2022
• CCVPB 2007
  | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
  559 bytes (57 words) - 20:35, 1 April 2022
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  698 bytes (74 words) - 20:55, 1 April 2022
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  472 bytes (56 words) - 19:15, 1 April 2022
• SafeConfig 2016
  |Field=resilience, validation, testing
  481 bytes (55 words) - 19:14, 1 April 2022
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  539 bytes (63 words) - 19:14, 1 April 2022
• ITEQS 2017
  |Field=software testing, verification and validation, extra-functional properties, software quality
  564 bytes (66 words) - 19:21, 1 April 2022
• CRediT
  #Validation
  1 KB (142 words) - 12:13, 22 December 2020
• RADAR 2019
  * • Computer modelling, simulation and validation
  1,002 bytes (109 words) - 20:02, 1 April 2022
• SafeComp 2019
  * formal modelling, verification and validation of critical systems, software and hardware * probabilistic verification and validation
  3 KB (426 words) - 19:59, 1 April 2022
• 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
• SAFECOMP 2017
  * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
  4 KB (464 words) - 19:59, 1 April 2022
• SafeComp 2018
  * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
  4 KB (482 words) - 19:59, 1 April 2022
• 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 (867 words) - 20:38, 1 April 2022
• 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 (434 words) - 21:04, 1 April 2022
• ESOP 2002
  ...ramming language based techniques for development, analysis, verification, validation, etc.
  1 KB (164 words) - 20:23, 1 April 2022
• 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 (526 words) - 20:40, 1 April 2022

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