Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Expert Systems with Applications Année : 2021
Fichier non déposé

Dates et versions

hal-04094152 , version 1 (10-05-2023)

Identifiants

Citer

Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar. Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Systems with Applications, 2021, 174, pp.114572. ⟨10.1016/j.eswa.2021.114572⟩. ⟨hal-04094152⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More