Cross-level co-simulation and verification of an automatic transmission control on embedded processor

EPI Consortium members published “Cross-level co-simulation and verification of an automatic transmission control on embedded processor” in the Software Engineering and Formal Methods. SEFM2020 Collocated Workshops.

Here you can find a link to an open access version of the article:

https://arpi.unipi.it/retrieve/handle/11568/1082839/692127/CoSim-CPS2020.pdf

DOI: https://doi.org/10.1007/978-3-030-67220-1_20

« Back to the publications

Publication Type: Conference PaperConference proceedings

Year of Publication: 2021

Authors: Andrea Domenici - Arief Wicaksana - Cinzia Bernardeschi - Lilia Zaourar - Maurizio Palmieri - Sergio Saponara - Tanguy Sassolas

Publisher: Springer, Cham

Name of publication/Event: Switzerland

ISSN Number: ISBN: 978-3-030-67219-5

Keywords:

URL:

Our website uses cookies to give you the most optimal experience online by: measuring our audience, understanding how our webpages are viewed and improving consequently the way our website works, providing you with relevant and personalized marketing content. You have full control over what you want to activate. You can accept the cookies by clicking on the “Accept all cookies” button or customize your choices by selecting the cookies you want to activate. You can also decline all cookies by clicking on the “Decline all cookies” button. Please find more information on our use of cookies and how to withdraw at any time your consent on our privacy policy.

Accept all cookies

Decline all cookies

Cross-level co-simulation and verification of an automatic transmission control on embedded processor

follow us