A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2016
Fichier non déposé

Dates et versions

hal-02561367 , version 1 (03-05-2020)

Identifiants

Citer

Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani. A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking. Modelling and Implementation of Complex Systems, pp.295-309, 2016, ⟨10.1007/978-3-319-33410-3_21⟩. ⟨hal-02561367⟩

Collections

UNIV-LORRAINE
5 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More