Introduction to special section on high-level design, validation, and test

Michael S. Hsiao, Robert B. Jones. Introduction to special section on high-level design, validation, and test. ACM Trans. Design Autom. Electr. Syst., 13(1), 2008. [doi]

Abstract

Abstract is missing.