Introduction

• Authors:

• Erik K. Antonsson;Jonathan Cagan

• Affiliations:

• California Institute of Technology, Pasadena, CA;Carnegie Mellon University, Pittsburgh, PA

• Venue:
• Formal engineering design synthesis
• Year:
• 2001