A Probabilistic Extension of UML Statecharts (Q5392299)
From MaRDI portal
scientific article; zbMATH DE number 5876524
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Probabilistic Extension of UML Statecharts |
scientific article; zbMATH DE number 5876524 |
Statements
A Probabilistic Extension of UML Statecharts (English)
0 references
8 April 2011
0 references
Markov decision processes
0 references
model checking
0 references
probabilities
0 references
semantics
0 references
UML statecharts
0 references
