Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454| Titre: | A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking |
| Auteur(s): | Bennouar, Djamal |
| Date de publication: | 2016 |
| Editeur: | Université Akli Mouhand Oulhadj-Bouira |
| URI/URL: | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454 |
| Collection(s) : | Articles |
Fichier(s) constituant ce document :
| Fichier | Description | Taille | Format | |
|---|---|---|---|---|
| A_Formal_Approach_for_Maintainability_and_Availabi.pdf | 1,01 MB | Adobe PDF | Voir/Ouvrir |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.