Pages that link to "Item:Q820132"
From MaRDI portal
The following pages link to Specification and refinement of mobile systems in MTLA and mobile UML (Q820132):
Displaying 6 items.
- On repairing and querying inconsistent probabilistic spatio-temporal databases (Q2406905) (← links)
- Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Q5154742) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- Algebraic Methodology and Software Technology (Q5312986) (← links)