Pages that link to "Item:Q3458151"
From MaRDI portal
The following pages link to Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151):
Displaying 4 items.
- Ambient abstract state machines with applications (Q439957) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Analysis of mobile networks' protocols based on abstract state machine (Q2117591) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)