Pages that link to "Item:Q730472"
From MaRDI portal
The following pages link to Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472):
Displaying 8 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Model Checking MANETs with Arbitrary Mobility (Q2948247) (← links)
- A New Analytical Model and Protocol for Mobile Ad-Hoc Networks Based on Time Varying Behavior of Nodes (Q3558786) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
