Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454Affichage complet
| Élément Dublin Core | Valeur | Langue |
|---|---|---|
| dc.contributor.author | Bennouar, Djamal | - |
| dc.date.accessioned | 2020-10-22T09:39:41Z | - |
| dc.date.available | 2020-10-22T09:39:41Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier.uri | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454 | - |
| dc.language.iso | en | en_US |
| dc.publisher | Université Akli Mouhand Oulhadj-Bouira | en_US |
| dc.title | A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking | en_US |
| dc.type | Article | en_US |
| 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.