Pages that link to "Item:Q5312986"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312986):
Displaying 4 items.
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Refinement Patterns for Hierarchical UML State Machines (Q3400934) (← links)
- Global Computing (Q5464839) (← links)