VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN：9780521113601
Developments in Surface Contamination and Cleaning: Cleanliness Validation and Verification Volume 7
Rajiv Kohli ; K. L Mittal2015 年出版190 页ISBN：0323313032
Guidance for the Verification and Validation of Neural Networks
2007 年出版133 页ISBN：9780470084571
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 4839 Runtime Verification 7th International Workshop
RV 20072007 年出版218 页ISBN：9783540773948
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
