Pages that link to "Item:Q5392299"
From MaRDI portal
The following pages link to A Probabilistic Extension of UML Statecharts (Q5392299):
Displaying 5 items.
- Abstract probabilistic automata (Q386011) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Abstract Probabilistic Automata (Q3075492) (← links)
- Quantitative Analysis of UML Statechart Models of Dependable Systems (Q4551648) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)