DMCA
A Formal Methodology for Hardware/Software Co-design of Embedded Systems (1994)
by
Massimiliano Chiodo
,
Paolo Giusto
,
Harry Hsieh
,
Attila Jurecska
,
Luciano Lavagno
,
Alberto Sangiovanni-Vincentelli
Venue: | IEEE Micro |
Citations: | 20 - 7 self |