Pages that link to "Item:Q470043"
From MaRDI portal
The following pages link to A calculus of trustworthy ad hoc networks (Q470043):
Displaying 4 items.
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
