Search results

• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  408 bytes (52 words) - 10:47, 8 March 2021
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 12:42, 28 January 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 12:42, 28 January 2021
• IVW 2007
  | Title = IVTs 13th Annual International Validation Week
  523 bytes (57 words) - 19:56, 17 February 2021
• CCVPB 2007
  | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
  501 bytes (54 words) - 12:10, 28 January 2021
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  618 bytes (69 words) - 20:03, 17 February 2021
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  423 bytes (52 words) - 10:28, 8 March 2021
• SafeConfig 2016
  |Field=resilience, validation, testing
  432 bytes (51 words) - 11:22, 8 March 2021
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  490 bytes (59 words) - 11:23, 8 March 2021
• ITEQS 2017
  |Field=software testing, verification and validation, extra-functional properties, software quality
  515 bytes (62 words) - 11:05, 8 March 2021
• RADAR 2019
  * • Computer modelling, simulation and validation
  939 bytes (103 words) - 11:16, 8 March 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 (302 words) - 10:44, 8 March 2021
• SafeComp 2019
  * formal modelling, verification and validation of critical systems, software and hardware * probabilistic verification and validation
  3 KB (420 words) - 11:22, 8 March 2021
• SAFECOMP 2017
  * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
  4 KB (458 words) - 11:18, 8 March 2021
• SafeComp 2018
  * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
  4 KB (476 words) - 11:22, 8 March 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) - 12:17, 28 January 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) - 20:20, 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, 28 January 2021
• ESWC 2021
  *Validation technologies: ShEx, SHACL, etc. *Applications of validation languages: summarizing, transformation, subsetting, form generation, etc.
  4 KB (581 words) - 10:43, 8 March 2021
• IGARSS 2013
  *Calibration and Validation of Satellite Imagery
  1 KB (165 words) - 11:00, 8 March 2021

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