ASME 2018 Verification and Validation Symposium

Proceedings of the 1st International Workshop on Gamification of Software Development, Verification, and Validation

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

Proceedings of the 2nd International Workshop on Gamification in Software Development, Verification, and Validation

Proceedings of the symposium on Testing, analysis, and verification

2020 International Conference on Nuclear Engineering collocated with the ASME 2020 Power Conference: Volume 3: Student Paper Competition; Thermal-Hydraulics; Verification and Validation

ASME 2018 Nuclear Forum collocated with the ASME 2018 Power Conference and the ASME 2018 12th International Conference on Energy Sustainability: ASME 2018 Nuclear Forum

BATH/ASME 2018 Symposium on Fluid Power and Motion Control

ASME 2018 12th International Conference on Energy Sustainability collocated with the ASME 2018 Power Conference and the ASME 2018 Nuclear Forum

Mathematical Modeling and Validation in EO System Development
מאת: Hickman, Duncan L.

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Optical System Alignment, Tolerancing, and Verification IX

Optical System Alignment, Tolerancing, and Verification XIV

Optical System Alignment, Tolerancing, and Verification VIII

Optical System Alignment, Tolerancing, and Verification XI

Optical System Alignment, Tolerancing, and Verification VI

Optical System Alignment, Tolerancing, and Verification V

Optical System Alignment, Tolerancing, and Verification III

Proceedings of the First International Workshop on Multimedia Verification

Optical System Alignment, Tolerancing, and Verification VII

Optical System Alignment, Tolerancing, and Verification IV

Optical System Alignment, Tolerancing, and Verification XIII

Optical System Alignment, Tolerancing, and Verification X

Optical System Alignment, Tolerancing, and Verification XII

ASME 2018 Noise Control and Acoustics Division Session presented at INTERNOISE 2018

Telescope Structures, Enclosures, Controls, Assembly/Integration/Validation, and Commissioning

Proceedings of the First International Workshop on Software Test Output Validation

Optical Phantoms: Diffuse and Sub-diffuse Imaging and Spectroscopy Validation
מאת: Greening, Gage J.

ASME 2018 Symposium on Elevated Temperature Application of Materials for Fossil, Nuclear, and Petrochemical Industries

Modeling, Simulation, and Verification of Space-based Systems III

Modeling, Simulation, and Verification of Space-based Systems II

Design and Performance Validation of Phantoms Used in Conjunction with Optical Measurements of Tissue

Proceedings of the 2018 International Symposium on Physical Design

Proceedings of the 2018 on Great Lakes Symposium on VLSI

Proceedings of the ACM Symposium on Document Engineering 2018

Proceedings of the sixth workshop on Programming languages meets program verification

Proceedings of the 2006 conference on Specification and verification of component-based systems