Crossmark

Formal verification process of the compliance of a multicore AUTOSAR OS

Published Online: 2023-05-25

Published Print: 2023-06

Authors

Haur, Imane https://orcid.org/0000-0001-7569-8587
Béchennec, Jean-Luc

H. Roux, Olivier
Funding

Funding for this research was provided by:

Huawei Technologies (CIFRE2019-0798)

Agence Nationale de la Recherche (CIFRE2019-0798)
License Information

Text and Data Mining valid from 2023-05-25

Version of Record valid from 2023-05-25
More Information

Article History

Accepted: 14 March 2023

First Online: 25 May 2023

Declarations

:

: The authors declare that they have no conflict of interest.

Document is current