The Community for Technology Leaders
Green Image
ABSTRACT
<p>The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design.</p>
INDEX TERMS
CITATION

L. Lavagno, A. Sangiovanni-Vincentelli and M. Sgroi, "Formal Models for Embedded System Design," in IEEE Design & Test of Computers, vol. 17, no. , pp. 14-27, 2000.
doi:10.1109/54.844330
91 ms
(Ver 3.3 (11022016))