Pages that link to "Item:Q862853"
From MaRDI portal
The following pages link to Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853):
Displaying 3 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
