Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBennouar, Djamal-
dc.publisherUniversité Akli Mouhand Oulhadj-Bouiraen_US
dc.titleA Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checkingen_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.