Design of Embedded Systems: Formal Models, Validation, and Synthesis (1999)

by S. Edwards , L. Lavagno , E. A. Lee , A. Sangiovanni-Vincentelli
Venue:PROCEEDINGS OF THE IEEE
Citations:106 - 9 self