Design of Embedded Systems: Formal Models, Validation, and Synthesis (1999)
Cached
Download Links
by
S. Edwards
,
L. Lavagno
,
E. A. Lee
,
A. Sangiovanni-Vincentelli
Venue: | PROCEEDINGS OF THE IEEE |
Citations: | 124 - 9 self |