Crossmark

Formal analysis of an AUTOSAR-based basic software module

Crossref DOI link: https://doi.org/10.1007/s10009-024-00759-w

Published Online: 2024-08-05

Published Print: 2024-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Bodei, Chiara

De Vincenzi, Marco

Matteucci, Ilaria
Funding

Funding for this research was provided by:

Università di Pisa
License Information

Text and Data Mining valid from 2024-08-01

Version of Record valid from 2024-08-05
More Information

Article History

Accepted: 16 July 2024

First Online: 5 August 2024