Please use this identifier to cite or link to this item:
Title: A quantitative verification framework of SysML activity diagrams under time constraints
Authors: Bennouar, Djamal
Issue Date: 30-Nov-2015
Publisher: Université Akli Mouhand Oulhadj-Bouira
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
1.pdf2,44 MBAdobe PDFView/Open

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