Chapitre D'ouvrage
Année : 2016
ABDELHAKIM BAOUYA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02561367
Soumis le : dimanche 3 mai 2020-19:27:35
Dernière modification le : vendredi 5 août 2022-14:54:44
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
5
Consultations
0
Téléchargements