Please use this identifier to cite or link to this item:
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9427| 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 |
| URI: | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/9427 |
| Appears in Collections: | Articles |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.