Marco Sgroi, Luciano Lavagno, Alberto Sangiovanni-Vincentelli,
"Formal Models for Embedded System Design,"
IEEE Design and Test of Computers, vol. 17, no. 2, pp. 14-27, April-June, 2000.
BibTex
x
@article{
10.1109/54.844330, author = {Marco Sgroi and Luciano Lavagno and Alberto Sangiovanni-Vincentelli}, title = {Formal Models for Embedded System Design}, journal ={IEEE Design and Test of Computers}, volume = {17}, number = {2}, issn = {0740-7475}, year = {2000}, pages = {14-27}, doi = {http://doi.ieeecomputersociety.org/10.1109/54.844330}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - MGZN JO - IEEE Design and Test of Computers TI - Formal Models for Embedded System Design IS - 2 SN - 0740-7475 SP14 EP27 EPD - 14-27 A1 - Marco Sgroi, A1 - Luciano Lavagno, A1 - Alberto Sangiovanni-Vincentelli, PY - 2000 VL - 17 JA - IEEE Design and Test of Computers ER -
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 and Test of Computers, vol. 17, no. 2, pp. 14-27, Apr.-June 2000, doi:10.1109/54.844330
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb