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
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Marco Sgroi, "Formal Models for Embedded System Design", IEEE Design & Test of Computers, vol. 17, no. , pp. 14-27, April-June 2000, doi:10.1109/54.844330
100 ms
(Ver 3.1 (10032016))