%0 Book Section %1 books/daglib/p/QureshiCPT14 %A Qureshi, Tahir Naseer %A Chen, De-Jiu %A Persson, Magnus %A Törngren, Martin %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 85-99 %T On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification. %U http://dblp.uni-trier.de/db/books/collections/SZNM2014.html#QureshiCPT14 %@ 978-1-4614-3879-3

@incollection{books/daglib/p/QureshiCPT14, added-at = {2017-12-01T00:00:00.000+0100}, author = {Qureshi, Tahir Naseer and Chen, De-Jiu and Persson, Magnus and Törngren, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a60b4265a7d9372c409e3b6bfb2d4fa6/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_5}, interhash = {e75afd4fc92e448d552d920a4e7e964c}, intrahash = {a60b4265a7d9372c409e3b6bfb2d4fa6}, isbn = {978-1-4614-3879-3}, keywords = {dblp}, pages = {85-99}, publisher = {Springer}, timestamp = {2024-04-09T07:48:10.000+0200}, title = {On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification.}, url = {http://dblp.uni-trier.de/db/books/collections/SZNM2014.html#QureshiCPT14}, year = 2014 }