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 TailleFormat 
A_Formal_Approach_for_Maintainability_and_Availabi.pdf1,01 MBAdobe PDFVoir/Ouvrir


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.