Citation
M. Sgroi et al., Formal models for embedded system design, IEEE DES T, 17(2), 2000, pp. 14-27
Citations number
11
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE DESIGN & TEST OF COMPUTERS
ISSN journal
07407475
→ ACNP
Volume
17
Issue
2
Year of publication
2000
Pages
14 - 27
Database
ISI
SICI code
0740-7475(200004/06)17:2<14:FMFESD>2.0.ZU;2-O
Abstract
The authors give an overview of models of Computation for embedded system d
esign and propose a new model that supports communication-based design.