Introducing probabilities in statecharts to specify reactive systems for performance analysis (Q2489295)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5023543
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Introducing probabilities in statecharts to specify reactive systems for performance analysis |
scientific article; zbMATH DE number 5023543 |
Statements
Introducing probabilities in statecharts to specify reactive systems for performance analysis (English)
0 references
16 May 2006
0 references
Markov chain
0 references
0 references
0.8301962614059448
0 references
0.7568809390068054
0 references
0.7534329295158386
0 references
0.7487952709197998
0 references
0.7369821071624756
0 references
