EDA for IC system design, verification, and testing

AIChE equipment testing procedure continuous direct-heat rotary dryers : a guide to performance evaluation

Handbook on mechanical properties of rocks : testing techniques and results

Field Description of Coal : a symposium Org. by ASTM Committee d-5 on Coal and Coke, American Society for Testing and Materials, Ottawa, Ontario, Canada, 22-23 Sept. 1976

The Basel II Risk Parameters Estimation, Validation, and Stress Testing

Novel anticancer agents strategies for discovery and clinical testing

Handbook of biogeneric therapeutic proteins regulatory, manufacturing, testing, and patent issues

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings