Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel. Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. In Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel, editors, Embedded Systems Development, From Functional Models to Implementations. pages 1-16, Springer, 2014. [doi]
@incollection{Sangiovanni-VincentelliZNM14,
title = {Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems},
author = {Alberto L. Sangiovanni-Vincentelli and Haibo Zeng and Marco Di Natale and Peter Marwedel},
year = {2014},
doi = {10.1007/978-1-4614-3879-3_1},
url = {http://dx.doi.org/10.1007/978-1-4614-3879-3_1},
researchr = {https://researchr.org/publication/Sangiovanni-VincentelliZNM14},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
editor = {Alberto L. Sangiovanni-Vincentelli and Haibo Zeng and Marco Di Natale and Peter Marwedel},
publisher = {Springer},
isbn = {978-1-4614-3879-3},
}