Please use this identifier to cite or link to this item:
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/8427| Title: | On the probabilistic verification of time constrained sysml state machines |
| Authors: | djamel, bennouar |
| Issue Date: | 15-Sep-2015 |
| Publisher: | universite de bouira |
| URI: | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/8427 |
| Appears in Collections: | Articles |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| On the probabilistic verification of time constrained sysml state machines.pdf | 1,14 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.