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

37 Consultations
0 Téléchargements

Altmetric

Partager

  • More