Dependability analysis of DES based on MARTE and UML state machines models (Q434473)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dependability analysis of DES based on MARTE and UML state machines models |
scientific article |
Statements
Dependability analysis of DES based on MARTE and UML state machines models (English)
0 references
10 July 2012
0 references
dependability modeling and analysis
0 references
MARTE
0 references
UML state machines
0 references
deterministic and stochastic Petri nets
0 references