On the Probabilistic Verification of Time Constrained SysML State Machines (Q57920687)
article by Abdelhakim Baouya et al published 2015 in Communications in Computer and Information Science
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the Probabilistic Verification of Time Constrained SysML State Machines |
article by Abdelhakim Baouya et al published 2015 in Communications in Computer and Information Science |
Statements
On the Probabilistic Verification of Time Constrained SysML State Machines (English)
0 references
2015
0 references
425-441
0 references
