Вы здесь

Главная

аттестация

Связанные издания:

A Standard for Safety Management in Design
Benchmarking Object-Oriented Database Systems for CAD
Enchancing the Quality of Conceptual Database Specifications through Validation
Evaluating the Efectiveness of Independent Verification and Validation
Experimental Models for Validating Technology
Handling Conceptual Model Validation by Planning
PostScript - A study in conformity
Quantifying Software Validation: When to Stop Testing?
Scientific Workload Characterization By Loop-Based Analyses
Some Common Misconceptions About Performance Modeling and Validation
Strategy on the Use of SPARK
Techniques for Selective Revalidation
Ten Years of Tool Based Ada Compiler Validations
The Infeasibility of Experimental Quantification of Life-Critical Software Reliability
The Use of Multiple-Subscripted Arrays in Benchmark Programs
Trusted Systems: Revised Selected Papers/ First International Conference, INTRUST 2009, Beijing, China, December 2009
Validating Conceptual Specifications through Model Execuion
Validation of Software for Dimensional Metrology
V and V in the Next Decade