Formal models for embedded system design

被引：35

作者：

Sgroi, M ^{[1
]}

Lavagno, L

Sangiovanni-Vincentelli, A

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94709 USA

[2] Univ Udine, I-33100 Udine, Italy

来源：

IEEE DESIGN & TEST OF COMPUTERS | 2000年 / 17卷 / 02期

关键词：

D O I：

10.1109/54.844330

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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

引用

页码：14 / 27

页数：14

共 11 条