Pages that link to "Item:Q650891"
From MaRDI portal
The following pages link to A timed calculus for wireless systems (Q650891):
Displaying 8 items.
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- (Q4553277) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)
