This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Models for Embedded System Design
April-June 2000 (vol. 17 no. 2)
pp. 14-27

The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design.

Citation:
Marco Sgroi, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, "Formal Models for Embedded System Design," IEEE Design & Test of Computers, vol. 17, no. 2, pp. 14-27, April-June 2000, doi:10.1109/54.844330
Usage of this product signifies your acceptance of the Terms of Use.