Search results

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

• UASS 2009
  - Specification, Validation and Verification of Embedded System and Software
  6 KB (697 words) - 23:19, 14 October 2008
• SSIRI 2008
  # Requirements collection strategies and validation
  3 KB (337 words) - 23:20, 14 October 2008
• SysML 2008
  * Techniques for validation of learned models and/or assessing the confidence of inferred results
  6 KB (837 words) - 23:21, 14 October 2008
• TFP 2008
  * Validation and Verification of Functional Programs
  5 KB (636 words) - 23:22, 14 October 2008
• CORCS 2008
  * formal techniques for verification and validation of
  2 KB (254 words) - 23:22, 14 October 2008
• ISPASS 2008
  - Performance validation
  3 KB (330 words) - 23:05, 4 February 2009
• 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) - 23:23, 14 October 2008
• VISAPP 2009
  - Model Acquisition and Validation
  6 KB (872 words) - 11:31, 21 February 2020
• VISAPP 2008
  - Model Acquisition and Validation
  4 KB (568 words) - 11:31, 21 February 2020
• ICONS 2009
  Validation and verification of safety requirements for complex systems containing hard Validation systems
  11 KB (1,492 words) - 23:26, 14 October 2008
• ACM SAC OE 2009
  - Model analysis, verification and validation.
  6 KB (746 words) - 23:26, 14 October 2008
• ICONS 2008
  Validation and verification of safety requirements for complex systems containing hard Validation systems
  6 KB (765 words) - 23:26, 14 October 2008
• EDCC 2008
  ...rs are solicited on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable computing systems. All kinds of fau * Hardware and software testing, verification, and validation.
  4 KB (528 words) - 23:27, 14 October 2008
• GRAPP 2008
  - Model Validation
  4 KB (506 words) - 23:27, 14 October 2008
• SCOPES 2009
  validation of embedded software are also covered by this workshop, because
  6 KB (773 words) - 23:29, 14 October 2008
• CRTS 2008
  modeling and formal methods; composition of validation and
  6 KB (707 words) - 23:29, 14 October 2008
• EURASIP Journal on Embedded Systems 2009
  ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation
  4 KB (456 words) - 23:30, 14 October 2008
• ESWEEK 2008
  14) Validation, verification, and debugging techniques for embedded softwar\ 2) Modeling and validation
  11 KB (1,352 words) - 00:33, 15 October 2008
• LCTES 2008
  validation, meeting performance goals and resource constraints, o Validation and verification, system integration and testing
  5 KB (673 words) - 23:30, 14 October 2008
• ECRTS 2008
  analysis; validation techniques.
  7 KB (870 words) - 23:30, 14 October 2008

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