Please use this identifier to cite or link to this item:
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
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.