Please use this identifier to cite or link to this item: http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBennouar, Djamal-
dc.date.accessioned2020-10-22T09:39:41Z-
dc.date.available2020-10-22T09:39:41Z-
dc.date.issued2016-
dc.identifier.urihttp://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9454-
dc.language.isoenen_US
dc.publisherUniversité Akli Mouhand Oulhadj-Bouiraen_US
dc.titleA Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checkingen_US
dc.typeArticleen_US
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
A_Formal_Approach_for_Maintainability_and_Availabi.pdf1,01 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.