Please use this identifier to cite or link to this item:
Title: A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking
Authors: Bennouar, Djamal
Issue Date: 2016
Publisher: Université Akli Mouhand Oulhadj-Bouira
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.