%0 Book Section %1 books/daglib/p/Sangiovanni-VincentelliZNM14 %A Sangiovanni-Vincentelli, Alberto L. %A Zeng, Haibo %A Natale, Marco Di %A Marwedel, Peter %B Embedded Systems Development, From Functional Models to Implementations %D 2014 %E Sangiovanni-Vincentelli, Alberto L. %E Zeng, Haibo %E Natale, Marco Di %E Marwedel, Peter %I Springer %K dblp %P 1-16 %T Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. %U http://dblp.uni-trier.de/db/books/collections/SZNM2014.html#Sangiovanni-VincentelliZNM14 %@ 978-1-4614-3879-3

@incollection{books/daglib/p/Sangiovanni-VincentelliZNM14, added-at = {2023-04-13T00:00:00.000+0200}, author = {Sangiovanni-Vincentelli, Alberto L. and Zeng, Haibo and Natale, Marco Di and Marwedel, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2265f81192c62eac7fa293571c281db1d/dblp}, booktitle = {Embedded Systems Development, From Functional Models to Implementations}, crossref = {books/daglib/0039015}, editor = {Sangiovanni-Vincentelli, Alberto L. and Zeng, Haibo and Natale, Marco Di and Marwedel, Peter}, ee = {https://doi.org/10.1007/978-1-4614-3879-3_1}, interhash = {c77e3aa9c24750cb18f25e97ef3101f1}, intrahash = {265f81192c62eac7fa293571c281db1d}, isbn = {978-1-4614-3879-3}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, timestamp = {2024-04-09T07:48:10.000+0200}, title = {Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.}, url = {http://dblp.uni-trier.de/db/books/collections/SZNM2014.html#Sangiovanni-VincentelliZNM14}, year = 2014 }