Pages that link to "Item:Q4989487"
From MaRDI portal
The following pages link to Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams (Q4989487):
Displaying 3 items.
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)