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

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
Privacy Policy