Formal Models for Embedded System Design

Sorry, there's nothing here.


Citations per Year

115 Citations

Semantic Scholar estimates that this publication has 115 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Sgroi2000FormalMF, title={Formal Models for Embedded System Design}, author={Marco Sgroi and Luciano Lavagno and Alberto L. Sangiovanni-Vincentelli}, journal={IEEE Design & Test of Computers}, year={2000}, volume={17}, pages={14-27} }