Please use this identifier to cite or link to this item: http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9455
Title: On the probabilistic verification of time constrained sysml state machine
Authors: Bennouar, Djamal
Issue Date: 15-Sep-2015
Publisher: Université Akli Mouhand Oulhadj-Bouira
URI: http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9455
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
2.pdf1,14 MBAdobe PDFView/Open


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