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

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Abdelhakim Baouya
Otmane Ait Mohamed
  • Fonction : Auteur
Samir Ouchani
Djamal Bennouar
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-03112932 , version 1 (17-01-2021)

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, pp.114572. ⟨10.1016/j.eswa.2021.114572⟩. ⟨hal-03112932⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More