Pages that link to "Item:Q1004068"
From MaRDI portal
The following pages link to Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068):
Displaying 14 items.
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- 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)
- Twenty years of rewriting logic (Q1931904) (← links)
- A hierarchical formal method for performance evaluation of WSNs protocol (Q2030175) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Recent advances in real-time Maude (Q2864519) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks (Q5274697) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
